# Category:Proof Rules

Jump to: navigation, search

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

## Subcategories

This category has only the following subcategory.

## Pages in category "Proof Rules"

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