# Category:Proof Rules

Jump to navigation
Jump to search

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

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Proof Rules"

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

### D

### M

### P

### R

- Reductio ad Absurdum
- Reductio ad Absurdum/Proof Rule
- Rule of Addition/Proof Rule
- Rule of Assumption/Proof Rule
- Rule of Conjunction/Proof Rule
- Rule of Explosion/Proof Rule
- Rule of Implication/Proof Rule
- Rule of Sequent Introduction
- Rule of Simplification/Proof Rule
- Rule of Theorem Introduction
- Rule of Top-Introduction
- Rule of Top-Introduction/Tableau Form