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