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

Keep scrolling for more

Learn More about predicate calculus

Share predicate calculus

Statistics for predicate calculus

Look-up Popularity

Time Traveler for predicate calculus

The first known use of predicate calculus was in 1950

See more words from the same year

More from Merriam-Webster on predicate calculus

Britannica.com: Encyclopedia article about predicate calculus

Comments on predicate calculus

What made you want to look up predicate calculus? Please tell us where you read or heard it (including the quote, if possible).

WORD OF THE DAY

to express emotion in a dramatic way

Get Word of the Day daily email!

Test Your Vocabulary

What did you just call me?! A Quiz

  • rows-of-various-emoji
  • If a member of the audience describes your speech as bombastic, does that person mean it is:
How Strong Is Your Vocabulary?

Test your vocabulary with our 10-question quiz!

TAKE THE QUIZ
SCRABBLE® Sprint

Test Your Knowledge - and learn some interesting things along the way.

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!