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 謂詞縯算; 不僅可以分析到簡單命題，還可以分析到其中的個躰、量詞和謂詞的數(shù)理邏輯形式系統(tǒng) (Also called functional calculus)→see also propositional calculus
返回 predicate calculus