| 单词 | predicate calculus |
| 释义 | > as lemmaspredicate calculus predicate calculus n. [after German Prädikatenkalkül ( D. Hilbert & W. Ackermann Grundzüge der theoretischen Logik (1928) ii. 34).] the branch of symbolic logic concerned with the internal structures of propositions containing arguments and quantifiers as well as the relations between them; also called functional calculus; cf. propositional calculus n. at propositional adj. Compounds. ΘΚΠ the world > relative properties > number > calculus > [noun] > other forms of calculus of variations1810 predicate calculus1938 1938 Jrnl. Symbolic Logic 3 91 By the ‘erweiterten einstelligen Prädikatenkalkul’ is meant the one-place predicate calculus with equality added. 1979 Sci. Amer. May 131/1 Could there exist an algorithm such that when it was given a statement written in precise mathematical language, it would report eventually whether the statement was true or false?.. For a powerful formalized language known as the predicate calculus it has been shown that no such algorithm exists. 2004 M. Potter Set Theory & its Philos. i. 12 First-order predicate calculus is thus contrasted with the second-order version which permits in addition the use of quantified variables ranging over properties of objects. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。