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.