*There are two sets of cards for this problem, one using the words 'IF' and 'IF AND ONLY IF' , and the other using implication arrows .*
### Why do this problem ?

Learning to write mathematical statements clearly and simply is one of the most important skills that a mathematician needs to learn. In order to do this, a mathematician needs to have a clear understanding of the logical flow 'IF something is true, THEN something else is true'. This

problem gives practice in this
process. It could be accessed at any point from advanced stage 3 to stage 5 and will really help to sharpen up the students' written mathematics.

### Possible approach

The interactivity lends itself to a group approach. It is important that students are given the opportunity to talk about their logical statements and to try to explain their answers verbally. To do this, you might ask someone to suggest an answer to a line in the card-sorter and then ask for feedback on whether others agree or disagree. There are multiple possible ways in which certain
cards can be matched.

### Key questions

- Which cards have a good chance of fitting with other cards?
- Can you explain why your logic holds for each correct answers?

### Possible extension

The cards have been chosen so that the completed statements are 'obviously' true. Good students might be encouraged to think more about WHY the statements are true. Can they give a strong argument or proof?

Extension work of a similar type is provided in the question

Contrary Logic. Activities extending the 'proof' theme are given in

Direct Logic.

### Possible support

Rather than attempt to fill in all of the boxes, students could try to make just a selection of true statements.

You might start by discussing these statements:

If my team wins the world cup tomorrow then I'll be happy tomorrow.

If I am happy tomorrow then my team will win the world cup tomorrow.

If I am not happy tomorrow then my team will not win the world cup tomorrow.

If my team does not win the world cup tomorrow then I will not be happy tomorrow.

If this is maize then it grew from a seed

If this grew from a seed then it is maize

If this did not grow from a seed then it is not maize

If this is not maize then it did not grow from a seed

If Rover is a dog then Rover is an animal

If Rover is not an animal then Rover is not a dog

If Rover is not a dog then Rover is an animal

If Rover is an animal then Rover is a dog