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