Reductio ad Absurdum/Explanation

Proof Rule

Reductio ad Absurdum can be expressed in natural language as:

If, by making an assumption that a statement is false, a contradiction can be deduced, that statement must in fact be true.
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.