| 单词 | θ141042 |
| 释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] (114) Subcategories:— logical syntax (1) — well-formed formula (4) — decidability or undecidability (2) — propositional function (11) — predicate calculus (2) — quantification (5) — variable (4) — substitution (2) — set theory or extension (15) — propositional relation (18) — implication (13) — logical inference (10) — mathematical or symbolic logic (25) — propositional calculus (2) |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。