Proof by Refutation Proof by contradiction, reductio ad absurdum
{"Image DocumentName": "Proof by Refutation Proof by contradiction, reductio ad absurdum", "Image ImageDescription": "Negate the theorem & add to axioms (\u00acT,Ax) Use rules of inference to derive the False. So sentences (\u00acT,Ax) can\u2019t all be true (unsatisfiable) But the axioms Ax are true. Hence the negated theorem \u00acT must be false. Hence the theorem T must be true.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}