Reductio ad Absurdum/Explanation

From ProofWiki
Jump to navigation Jump to search

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.