noun
predicate logic; predicate calculus
Technical term in logic; contrasts with 命題論理 (propositional logic).
See also: 命題論理
述語論理は命題論理よりも表現力が高い。
Predicate logic is more expressive than propositional logic.
命題論理 (propositional logic) deals with whole propositions, while 述語論理 (predicate logic) analyzes internal structure with predicates and quantifiers.
Compound of 述語 (predicate) and 論理 (logic).