Go backward to Go up to Top Go forward to Direct Proof

General Strategies

• 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.