Dictionary

predicate calculus

noun

Definition of PREDICATE CALCULUS

:  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
ADVERTISEMENT

First Known Use of PREDICATE CALCULUS

1950

Browse

Next Word in the Dictionary: predicate nominativePrevious Word in the Dictionary: predicate All Words Near: predicate calculus
How to use a word that (literally) drives some people nuts.
Test your vocab with our fun, fast game
Ailurophobia, and 9 other unusual fears