Proof by Contradiction
Proof
by Contradiction
Indirect Proof
Proving a conjecture by assuming that the conjecture is false. If this assumption leads to a contradiction, the original conjecture must have been true. This technique employs the logical method known as modus tolens.

See also
