These tasks involve finding all possible solutions and so lend themselves to proof by exhaustion.
These tasks offer opportunities to explore proof by counter example.
These tasks are useful contexts in which to explore proof by logical argument.
Here we have gathered together tasks which focus on generic proof.
Explore proof by contradiction with these tasks.