# Category:Proof Rules

This category is to hold theorems of propositional logic which are used as proof rules in conventional approaches to natural deduction.

## Pages in category "Proof Rules"

The following 27 pages are in this category, out of 27 total.