Category:Proof Techniques
Jump to navigation
Jump to search
This category contains results which can be exploited as general techniques for proving further results. Definitions specific to this category can be found in Definitions/Proof Techniques.
Subcategories
This category has the following 49 subcategories, out of 49 total.
A
- Abel's Lemma (13 P)
- Analytic Proofs (empty)
C
D
- Dissection Proofs (1 P)
E
F
- Forward-Backward Induction (2 P)
G
I
- Isolation of Roots (empty)
L
M
- Method of Exhaustion (empty)
- Method of Indivisibles (empty)
- Method of Infinite Descent (3 P)
- Missing-Plot Techniques (empty)
N
P
- Principle of Dilemma (13 P)
- Proof by Cases (21 P)
- Proof by Contradiction (17 P)
- Proof by Contraposition (5 P)
- Proof by Superinduction (1 P)
R
- Rule of False Position (empty)
S
T
U
W
- Weierstrass Substitution (11 P)
Pages in category "Proof Techniques"
The following 41 pages are in this category, out of 41 total.
C
I
M
P
- Polynomial Long Division
- Principle of Dilemma
- Principle of Finite Induction
- Principle of General Induction
- Principle of General Induction/Minimally Closed Class
- Principle of Least Counterexample
- Principle of Mathematical Induction
- Principle of Superinduction
- Proof by Cases
- Proof by Contradiction
- Proof by Contraposition
- Proof by Counterexample