| 单词 | predicate calculus |
| 释义 | predicate calculusnoun [mass noun] The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic....
|
| 随便看 |
|
英语词典包含243303条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。