predicate calculus

Noun predicate calculus has 1 sense

• predicate calculus(n = noun.cognition) functional calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions);
is a kind of formal logic, mathematical logic, symbolic logic
has parts: quantification