单词 | propositional function |
释义 | > as lemmaspropositional function propositional function n. Logic a statement with one or more terms unspecified which becomes a proposition when the terms are specified (as X is mortal → Socrates is mortal); cf. predicate n. 3b. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function predicate1903 propositional function1903 statement form1931 functor1937 1903 B. Russell Princ. Math. ii. 13 Where there are one or more real variables, and for all values of the variables the expression involved is a proposition, I shall call the expression a propositional function. 1943 Trans. Amer. Math. Soc. 53 42 Let us consider number-theoretic predicates, that is, propositional functions of natural numbers. 2000 Data & Knowledge Engin. 35 259 Traditional query languages are based on Boolean logic, where each predicate is treated as a propositional function, which returns one of the two values: true or false. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。