| 单词 | free variable |
| 释义 | > as lemmasfree variable free variable n. Mathematics and Logic a variable whose occurrence in an expression is not bound by any quantifier, i.e. it is free to take any value and can be freely substituted. ΚΠ 1929 Mind 38 451 If we take the proposition (x):.(Ǝy):(Ǝc).c(x,y), and remove the generalisation which affects the variable x, so that we have (Ǝy):(Ǝc).c(x,y), x will be a free variable, and the resulting function will give rise to a proposition when a value is assigned to x. 1952 J. B. Rosser & A. R. Turquette Many-valued Logics i. 3 What you called a ‘statement’ is really not a statement at all. Rather, it is a statement form or matrix implicitly containing free variables of time, place, etc., which must be bound in order to convert the matrix into a statement. 1982 W. S. Hatcher Logical Found. Math. i. 23 Nevertheless, if xi has at least one free occurrence in A, we say that xi is free in A or that it is a free variable of A. 1994 S. Blackburn Oxf. Dict. Philos. 270/1 An open sentence with n free variables may be thought of as an n-place predicate. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。