Jump to navigation Jump to search
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.
- 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