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