Book contents
- Frontmatter
- Contents
- Preface
- I Study skills for mathematicians
- II How to think logically
- 6 Making a statement
- 7 Implications
- 8 Finer points concerning implications
- 9 Converse and equivalence
- 10 Quantifiers – For all and There exists
- 11 Complexity and negation of quantifiers
- 12 Examples and counterexamples
- 13 Summary of logic
- III Definitions, theorems and proofs
- IV Techniques of proof
- V Mathematics that all good mathematicians need
- VI Closing remarks
- Appendices
- Index
8 - Finer points concerning implications
from II - How to think logically
- Frontmatter
- Contents
- Preface
- I Study skills for mathematicians
- II How to think logically
- 6 Making a statement
- 7 Implications
- 8 Finer points concerning implications
- 9 Converse and equivalence
- 10 Quantifiers – For all and There exists
- 11 Complexity and negation of quantifiers
- 12 Examples and counterexamples
- 13 Summary of logic
- III Definitions, theorems and proofs
- IV Techniques of proof
- V Mathematics that all good mathematicians need
- VI Closing remarks
- Appendices
- Index
Summary
He's suffering from Politician's Logic. Something must be done, this is something, therefore we must do it.
Antony Jay and Jonathan Lynn, Power to the People, episode of Yes, Prime MinisterThe English language is full of ambiguities. The humorous quote above exploits this and works because the word ‘something’ has two different meanings in the sentence. With mathematical language we aim to remove such ambiguities. In this chapter we will first look at a particular problem that can occur in everyday usage with the use of the if/then structure. We shall see how this example leads us to consider what are called the inverse statement and the contrapositive statement. This shows that although using everyday examples can be very illuminating we do have to be careful as the English language can play tricks on us.
The inverse: a common mistake
The most common initial mistake that people make in logic arises from an everyday usage we learn at a young age. For example, an adult says to a child
‘If you don't tidy your room, then you won't get ice-cream.’
Our instinct, like the child and parent, is to interpret this as a contract: if the child tidies their room, then they get ice-cream. In other words
‘If you tidy your room, then you will get ice-cream.’
Yet the original statement does not say that. It only says what will happen if the child does not tidy their room.
- Type
- Chapter
- Information
- How to Think Like a MathematicianA Companion to Undergraduate Mathematics, pp. 69 - 74Publisher: Cambridge University PressPrint publication year: 2009