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
Irrational, rational, integer, factor, relatively
prime
