:Category:Theorems in propositional logic

{{Commons}}

{{Cat main|Propositional calculus}}

{{Category see also|Rules of inference}}

Theorems

Propositional