Proving statements by checking all possible cases systematically.
We're writing the full lesson for Proof by Exhaustion. In the meantime, check the specification below and try the related lessons.
Logical argument, algebraic proof, proof of mathematical statements by direct deduction.