Reductio Ad Absurdum

Home > Philosophy > Logic > Formal Proof > Reductio Ad Absurdum

In this type of proof, a hypothesis is assumed to be false, and then this leads to a contradiction. This contradiction shows that the hypothesis is true.