predicate calculus

noun

: 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

Word History

First Known Use

1950, in the meaning defined above

Time Traveler
The first known use of predicate calculus was in 1950

Dictionary Entries Near predicate calculus

Cite this Entry

“Predicate calculus.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/predicate%20calculus. Accessed 28 Mar. 2024.

More from Merriam-Webster on predicate calculus

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!