Reductio Ad Absurdum Often used in mathematical proofs Basic process Suppose PPP From PPP it follows that QQQ But QQQ is impossible Self-contradictory Therefore PPP is false Argument Philosophy