Reasoning, convincing and proving

These tasks provide opportunities for learners to get better at proving, whether through proof by exhaustion, proof by logical argument, proof by counter example or generic proof.