Category:Rules of Inference
Jump to navigation
Jump to search
This category contains results about Rules of Inference.
Definitions specific to this category can be found in Definitions/Rules of Inference.
A rule of inference is a specification of a valid means to conclude new theorems in $\mathscr P$ from given theorems and axioms of $\mathscr P$.
Often, the formulation of rules of inference also appeals to the notion of provable consequence to be able to deal with assumptions as part of a proof.
Subcategories
This category has the following 5 subcategories, out of 5 total.
D
- Double Negation Introduction (9 P)
E
I
- Independent Rules of Inference (empty)
P
- Principle of Non-Contradiction (17 P)
T
- Tableau Proofs (511 P)
Pages in category "Rules of Inference"
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