Share this entry

Share this page

propositional calculus

Line breaks: prop|os¦ition¦al cal¦cu|lus

Definition of propositional calculus in English:

noun

[mass noun]
The branch of symbolic logic that deals with propositions and the relations between them, without examination of their content.
Example sentences
  • There are numerous small errors (such as confusing the propositional calculus with the predicate calculus on page 168), which will mystify a nonexpert reader.
  • He worked on mathematical logic, wrote essays on the principle of non-contradiction and the excluded middle around 1910, developed a three value propositional calculus and worked on many valued logics.
  • Over finite domains of discourse the predicate calculus boils down to the classical propositional calculus, which is indeed a cut and dried affair, alternatives being surveyable.

Definition of propositional calculus in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

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

Get more from Oxford Dictionaries

Subscribe to remove adverts and access premium resources

Word of the day Noel
Pronunciation: nəʊˈɛl
noun
Christmas…