Mathematics and Logic. A sentence having one or more terms unspecified, esp. one having no terms specified; a relation; a propositional function.
单词 | θ141047 |
释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional function (11) predicate1903 Mathematics and Logic. A sentence having one or more terms unspecified, esp. one having no terms specified; a relation; a propositional function. propositional function1903 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… statement form1931 = propositional function n. at propositional, adj. compounds. functor1937 Logic. Originally: a symbol used to express a given relationship between numerical values. In later use more generally: a symbol which can be… Subcategories:— predicating (1) — logical operation (3) — other elements or qualities (3) |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。