| 单词 | predicate calculus |
| 释义 | predicate calculus in British Englishnoun the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals Also called: functional calculus. See also propositional calculus |
| 随便看 |
英语词典包含298861条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。