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

First Known Use of PREDICATE CALCULUS

1950

Browse

Next Word in the Dictionary: predicate nominativePrevious Word in the Dictionary: predicate (adjective)All Words Near: predicate calculus
March 27, 2015
quiescent Hear it
Tranquilly at rest or causing no trouble
Take a 3-minute break and test your skills!
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