Go backward to Go up to TopGo forward to Direct Proof |

- Direct proofs
- Try to prove the goal.
- Try to prove the negation of the goal.

- Indirect proofs.
- Assume the goal does not hold and derive a contradiction.
- Assume the goal does hold and derive a contradiction.

*Two basic approaches in two variants.*

Author: Wolfgang Schreiner

Last Modification: November 30, 1999