| 单词 | predicate calculus |
| 释义 | predicate calculus【计】 谓词演算 predicate calculus predicate calculus n.Logic （名词）【逻辑学】 The branch of symbolic logic that deals not only with relations between propositions as a whole but also with their internal structure, especially the relation between subject and predicate. Symbols are used to represent the subject and predicate of the proposition, and the existential or universal quantifier is used to denote whether the proposition is universal or particular in its application.谓词演算：符号逻辑学的一支，不仅作为整体的命题间的关系研究，也研究它们的内在结构，尤指主体和谓项之间的关系符号，被用来代表命题中的主体和谓项存在判断的或全称限量，同被用于概指该命题在运用中是全称的还是特称的 |
| 随便看 |
英汉双解词典收录913115条英汉汉英双解翻译词条，基本涵盖了全部常用单词的读音、翻译及用法，是英语学习的有利工具。