User:StarTower/Work/Used Template List Done
Jump to navigation
Jump to search
About
The list of things done.
ND
- Template:Premise
- Template:Assumption
- Template:Conjunction
- Template:Simplification
- Template:Addition
- Template:ProofByCases
- Template:ModusPonens
- Template:ModusTollendoPonens
- Template:ModusTollens
- Template:Implication
- Template:DoubleNegElimination
- Template:DoubleNegIntro
- Template:BiconditionalElimination
- Template:BiconditionalIntro
- Template:NonContradiction
- Template:Contradiction
- Template:Explosion
- Template:ExcludedMiddle
- Template:Reductio
Equation
Axiom
Euclid
List