Share this entry

Share this page

propositional calculus

Syllabification: prop·o·si·tion·al cal·cu·lus

Definition of propositional calculus in English:

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 ads and access premium resources

Word of the day peart
Pronunciation: pərt
adjective
lively; cheerful