Proof By Contradiction

Guides And Explainers

Reduction ad absurdum is a reasoning method that shows a claim is false or untenable by deriving an absurd or contradictory result from it. Also called proof by contradiction or...

Open article

logic

Reductio ad absurdum is a form of indirect proof in which to show a statement P is true, you assume ¬P, derive a contradiction, and thereby conclude P. In symbolic logic it map...

Open article