Category:Proof Rules

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