Definition of predicate calculus in English:

Share this entry

predicate calculus


[mass noun]
The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
Example sentences
  • What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.
  • In this way, Bradley had a significant, if indirect, impact on predicate calculus.
  • In the classical predicate calculus only conjunction, negation and the universal quantifier are needed.

For editors and proofreaders

Line breaks: predi|cate cal¦cu|lus

Share this entry

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.