Indirect Proof

Home > Philosophy > Logic > Formal Proof > Indirect Proof

This type of proof is also known as reductio ad absurdum, which means "reduction to the absurd." In indirect proof, you assume the opposite of what you want to prove and show that it leads to a contradiction. This contradiction implies that the original hypothesis is true.