Propositional calculus (sometimes called sentential calculus) is a simplified version of symbolic logic; It is a way to analyze truth relationships between compound propositions and their individual parts (Kahn, 2007).
The calculus involves a series of simple statements connected by propositional connectives like:
- and (conjunction),
- not (negation),
- or (disjunction),
- if / then / thus (conditional).
You can think of these as being roughly equivalent to basic math operations on numbers (e.g. addition, subtraction, division,…). Only here, instead of numbers, we’re working with propositions (also called statements).
Classical Propositional Calculus
A truth table for a conjunction (“and”) in propositional calculus.
- Albany is the capitol of New York (True),
- Bread is made from stone (False),
- King Henry VIII had sixteen wives (False).
The following are not propositional statements, because they don’t have a clear true/false answer, or have a subjective answer:
- He is a good swimmer,
- Banksy is a great artist,
- People like bread.
This calculi forms the basis of the majority of logical-mathematical theories; Many complex problems can be reduced to a simple propositional calculus statements, making them easier to solve (Hazelwinkel, 2013). Predicate Calculus is a more complex version, allowing relations, quantifiers, and variables (Goldmakher, 2020).
References
Chang, C. & Lee, R. (1997). Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press.
Cundy, H. & Rollett, A. (1989). Mathematical Models, 3rd ed. Stradbroke, England: Tarquin Pub., pp. 254-255.
Goldmakher, L. (2020). Propositional and Predicate Calculus.
Hazelwinkel, M. (2013). Encyclopaedia of Mathematics: Monge—Ampère Equation — Rings and Algebras. Springer.
Kahn, P. (2007). Math 304. Symbolic Logic I: The Propositional Calculus. Retrieved October 29, 2020 from: http://pi.math.cornell.edu/~kahn/SymbLog_PropCalc.pdf
Stephanie Glen. "Propositional Calculus: Simple Definition" From CalculusHowTo.com: Calculus for the rest of us! https://www.calculushowto.com/propositional-calculus/
Need help with a homework or test question? With Chegg Study, you can get step-by-step solutions to your questions from an expert in the field. Your first 30 minutes with a Chegg tutor is free!