|Wikimedia Commons has media related to Propositional calculus.|
Propositional logic (also referred to as Sentential logic) refers to a form of logic in which formulae known as "sentences" can be formed by combining other simpler sentences using logical connectives, and a system of formal proof rules allows certain formulae to be established as theorems.
This category has the following 6 subcategories, out of 6 total.
Pages in category "Propositional calculus"
The following 38 pages are in this category, out of 38 total.
- Propositional calculus (computing)
- Minimal axioms for Boolean algebra (computing)
- Unsatisfiable core (computing)
- Wolfram axiom (computing)
- Zeroth-order logic (computing)