Category:Propositional calculus
Jump to navigation
Jump to search
 |
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.
Subcategories
This category has the following 7 subcategories, out of 7 total.
L
N
P
R
T
Pages in category "Propositional calculus"
The following 38 pages are in this category, out of 38 total. This list may not reflect recent changes (learn more).
