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

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).

Love words? Need even more definitions?

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

Love words? Need even more definitions?

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