Reductio Ad Absurdum

• Often used in mathematical proofs
• Basic process
  • Suppose $P$
  • From $P$ it follows that $Q$
  • But $Q$ is impossible
    • Self-contradictory
  • Therefore $P$ is false

Argument Philosophy