Dictionary

predicate calculus

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
February 27, 2015
rationale Hear it
An explanation or underlying reason
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