### Definition of Propositional calculus

1. Noun. A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.

### Definition of Propositional calculus

1. Noun. (logic) propositional logic. ¹

¹ Source: wiktionary.com

### Propositional Calculus Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Propositional Calculus Images

### Lexicographical Neighbors of Propositional Calculus

 proposalproposal of marriageproposalsproposepropose a toastproposedproposerproposersproposesproposing propositapropositipropositionalpropositional attitudepropositional calculus (current term)propositional functionpropositional functionspropositional logicpropositional variablepropositionally propositionedpropositioningpropositionspropositiveproposituspropoundpropoundedpropounderpropounders

### Literary usage of Propositional calculus

Below you will find example usage of this term as found in modern and/or classical literature:

1. Geometric Computing Science: First Steps by Robert Hermann (1991)
"The Language of the propositional calculus. This is a standard topic in Logic, ... The propositional calculus is a Language based on the alphabet A ie a ..."

2. The Concept of Model: An Introduction to the Materialist Epistemology of by Alain Badiou (2007)
"The earliest non-inductive, and so effectively internal, demonstration of the completeness of the propositional calculus that I am aware of is due to the ..."

3. The Monist by Hegeler Institute (1913)
"... both notions are required in the propositional calculus, but it is the study of material implication which specially distinguishes this subject, ..."

4. The Praxis of Alain Badiou by Paul Ashton, A J Bartlett, Justin Clemens (2006)
"... not imply that for TC and P we must have either TC forces P or TC forces ~P Also, forcing does not obey some simple rules of the propositional calculus. ..."

5. A Pragmatic Legal Expert System by James Popple (1996)
"... for example, tacitly make this assumption.137 The law, they claim, can be expressed as rules using propositional calculus. A program which implements ..."