Assuming the negation of a statement and deriving a contradiction to prove it true.
Logical argument, algebraic proof, proof of mathematical statements by direct deduction.