Main Entry: predicate calculus

Function: noun

Date: 1950

: the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives —called also functional calculus — compare propositional calculus