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, in the meaning defined above

Learn More About predicate calculus

Time Traveler for predicate calculus

Time Traveler

The first known use of predicate calculus was in 1950

See more words from the same year

Dictionary Entries Near predicate calculus

predicate

predicate calculus

predicate nominative

See More Nearby Entries 

Statistics for predicate calculus

Cite this Entry

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

Style: MLA
MLACheck Mark Icon ChicagoCheck Mark Icon APACheck Mark Icon Merriam-WebsterCheck Mark Icon

More from Merriam-Webster on predicate calculus

Britannica.com: Encyclopedia article about predicate calculus

WORD OF THE DAY

Test Your Vocabulary

Commonly Confused Words Quiz

  • vector image of a face with thought expression
  • I went to the ______ store to buy a birthday card.
Spell It

Can you spell these 10 commonly misspelled words?

TAKE THE QUIZ
Universal Daily Crossword

A daily challenge for crossword fanatics.

TAKE THE QUIZ
Love words? Need even more definitions?

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