|
|
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.
Generic synonyms: Formal Logic, Mathematical Logic, Symbolic Logic
Definition of Propositional calculus
1. Noun. (logic) propositional logic. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Propositional Calculus
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 ..."
Other Resources:
