Skip over navigation
Guide and features
Guide and features
Science, Technology, Engineering and Mathematics
Featured Early Years Foundation Stage; US Kindergarten
Featured UK Key Stage 1&2; US Grades 1-5
Featured UK Key Stage 3-5; US Grades 6-12
Featured UK Key Stage 1, US Grade 1 & 2
Featured UK Key Stage 2; US Grade 3-5
Featured UK Key Stages 3 & 4; US Grade 6-10
Featured UK Key Stage 4 & 5; US Grade 11 & 12
Why do this problem?
takes students' logical thinking one step beyond the logical thinking required to follow direct proofs. It will sharpen their understanding of proof and mathematical thinking to a level beyond that normally required in school mathematics, albeit in a simple context.
The first part of the problem works very well as a group discussion. Initially students might automatically decide that certain of the statements are true or false. But are they
? The discussion should lead the group to understand that the statements are mathematically vague, unclear or depend on a personal opinion. Thus, although in normal everday language the statements would typically be considered unambiguous, mathematically they are unacceptable.
Despite their logical vagueness, the statements are useful to understand the concept of the contrapositive: that a statement $A\Rightarrow B$ is equivalent to the statement $NOT(B)\Rightarrow NOT(A)$.
Of course, to understand these statements, students will really need to understand the meaning of the implication arrows $\Rightarrow$ and $\Leftrightarrow$. A good activitiy is to try to get students to explain really clearly these concepts to each other. Holes in understanding will soon become apparent.
Once students grasp thes points, they can move onto the clearer, more formal mathematics in the second part of the question.
A final, powerful part of this activity is that students should try to explain their results to each other in words. This is a really good device for sharpening up mathematical thinking. Can students explain the contrapositive to the class? Do listeners think that their explanation is clear and simple? Can they explain their proofs in the same way?
Don't forget to marvel at the beautiful simplicity of the contrapositive once the results have been proved!
Why might these statements be unclear? How might we make them clear?
Do you understand the meaning of the arrows exactly?
Can you explain your proofs clearly to an audience?
Can students create other mathematical statements which can be proved by contrapositive?
Can students create other sets of logical statements as in the first part of the question to test out on their peers?
It is best first to tackle
before attempting this question.
Students having difficulty with creating the proofs might benefit from being the 'critical audience' to students who can construct the proofs. Can the solvers convince the audience of their results? Once those having difficulty have heard a couple of proofs, they might more clearly see the way to creating their own proofs.
Manipulating algebraic expressions/formulae
Making and proving conjectures
Theorem and contrapositive
Mathematical reasoning & proof
Meet the team
The NRICH Project aims to enrich the mathematical experiences of all learners. To support this aim, members of the NRICH team work in a wide range of capacities, including providing professional development for teachers wishing to embed rich mathematical tasks into everyday classroom practice. More information on many of our other activities can be found here.
Register for our mailing list
Copyright © 1997 - 2014. University of Cambridge. All rights reserved.
NRICH is part of the family of activities in the
Millennium Mathematics Project