Category:Propositional calculus
Appearance
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Wikimedia Commons has media related to Propositional logic.
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.
Subcategories
This category has the following 8 subcategories, out of 8 total.
L
- Logical connectives (22 P)
N
- Normal forms (logic) (13 P)
P
- Propositional fallacies (2 P)
R
- Rules of inference (43 P)
T
- Theorems in propositional logic (39 P)
Pages in category "Propositional calculus"
The following 34 pages are in this category, out of 34 total. This list may not reflect recent changes.