predicate_calculus.n.01

'predicate_calculus.n.01'

[predicate_calculus.n.01] as in: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)