In this feature you will find a selection of problems that will require you to reason logically. You will also be introduced to the symbols $\implies$ and $\iff$ and be challenged to use these to create true statements.
Plus magazine has a selection of interesting articles looking at logic, mathematical logic, its role in computer science and the philosophy of maths, and on how it's being used in applications.
River crossing
Iffy logic
Can you rearrange the cards to make a series of correct mathematical statements?
IFFY triangles
Can you prove these triangle theorems both ways?
The Tour de Clochemerle
Can you work out where these 5 riders came in a not-quite-so-famous bike race?
Iff
Take a triangular number, multiply it by 8 and add 1. What is special about your answer? Can you prove it?
Mind your Ps and Qs
Sort these mathematical propositions into a series of 8 correct statements.