predicate calculus

predicate-calculus的词性：
n.Logic （名词）【逻辑学】

1. 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.
谓词演算：符号逻辑学的一支，不仅作为整体的命题间的关系研究，也研究它们的内在结构，尤指主体和谓项之间的关系符号，被用来代表命题中的主体和谓项存在判断的或全称限量，同被用于概指该命题在运用中是全称的还是特称的