predicate calculus


noun Logic.

Also called predicate logic.

Origin of predicate calculus

First recorded in 1945–50

British Dictionary definitions for predicate calculus

predicate calculus

noun

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 Also called: functional calculus See also propositional calculus