| 单词 | propositional calculus |
| 释义 | > as lemmaspropositional calculus propositional calculus n. Logic the branch of formal logic that deals with propositions (considered without regard to their internal structure) and the logical relations between them established by propositional connectives; cf. predicate calculus n. at predicate n. and adj. Compounds 2. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional calculus propositional calculus1903 PC1943 1903 B. Russell Princ. Math. ii. 12 It is not with such entities that we are concerned in the propositional calculus, but with genuine propositions. 1959 Jrnl. Symbolic Logic 24 97 Gödel proves the non~existence of a finite matrix characteristic for the intuitionist propositional calculus IC. 1991 Mind 100 63 This device disallows the above proof, and indeed it prevents R from collapsing into the classical propositional calculus, but it does so at the price of being highly counterintuitive. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。