predicate calculus
柯林斯词典
1. N 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
返回 predicate calculus