Presents direct proof, contradiction, contraposition, case analysis, induction, and counterexamples. Learners write proofs whose assumptions, steps, and conclusions can later be represented in formal systems.
