Quantcast
Merriam-Webster Logo
  • Dictionary
  • Thesaurus
  • Medical
  • Scrabble
  • Spanish Central
  • Learner's Dictionary

predicate calculus

noun

Definition of predicate calculus

  1. :  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



1950

First Known Use of predicate calculus

1950


Learn More about predicate calculus


Seen and Heard

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

February 11, 2016

the holder of an office

Get Word of the Day daily email!

WORD GAMES

Take a 3-minute break and test your skills!

image33683556

How much does a batman (the Turkish unit of measurement) weigh?

2.2 pounds 16.96 pounds 100 pounds 196.5 pounds
Name That Thing

10 quick questions: hear them, spell them, and see how your skills compare to the crowd.

TAKE THE QUIZ
SCRABBLE® Sprint

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

TAKE THE QUIZ