Tom has a collection of snakes, of which are purple and of which are happy. He observes that
- all of his happy snakes can add,
- none of his purple snakes can subtract, and
- all of his snakes that can't subtract also can't add.
Which of these conclusions can be drawn about Tom's snakes?
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Chain the implications: purple -> cannot subtract -> cannot add, while happy -> can add; so a happy snake cannot be purple.
Solution
Write the three facts as implications:
1. happy can add;
2. purple cannot subtract;
3. cannot subtract cannot add.
Chaining 2 and 3: purple cannot add. Combining with 1, a happy snake can add, so it is not one of the snakes that cannot add, so it is not purple. That is exactly statement (D).
The other choices fail: (A) contradicts the chain just derived; (B) contradicts (D) unless there are no purple snakes, but there are four; (C) reverses fact 1's direction and is not implied; (E) is not implied, since nothing says a snake that can add cannot subtract.
The answer is
Why this works
Every "all X are Y" is an implication , and implications chain: and give . The contrapositive () is equally valid, and that is what produces "happy not purple." The numbers , , are pure decoration.
The trap
Reversing an implication, e.g. reading 'all happy snakes can add' as 'all snakes that can add are happy' (choice C).
Common mistakes
- Reversing an implication, e.g. reading 'all happy snakes can add' as 'all snakes that can add are happy' (choice C).
- Choosing (E) by assuming every snake either adds or subtracts but not both; the statements never say that.
Techniques
Set up the equation/formula and compute; no special trick needed