An introduction to rigorous proof techniques

**Craig Silverstein**

**August 27, 2005**

- Methodology of Proof -- an example

- Taxonomy: techniques useful in proving a theorem
- Taxonomy of Proof: if and only if
- Taxonomy of Proof: structural induction
- Taxonomy of proof: contrapositive
- Taxonomy of proof: counterexample

- About this document ...

Craig Silverstein 2005-08-27