Share this entry

Share this page

predicate calculus

Syllabification: pred·i·cate cal·cu·lus
Pronunciation: /ˌpredəkət ˈkalkyələs
 
/

Definition of predicate calculus in English:

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.

Definition of predicate calculus in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

Get more from Oxford Dictionaries

Subscribe to remove adverts and access premium resources

Word of the day Sprachgefühl
Pronunciation: ˈʃprɑːxɡəˌfuːl
noun
intuitive understanding of a language’s natural idiom…