If all alligators are ferocious creatures and some creepy crawlers are alligators, which statement(s) must be true?
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Only statement II follows: the creepy crawlers that are alligators are automatically ferocious; I and III each fail in a small made-up world.
Solution
Abbreviate: every (alligator) is an (ferocious); at least one (creepy crawler) is an .
Statement II: take a creature that is both and . Being an , it is an . So there is a creature that is both and , and II must be true.
Statement I: build a world with two alligators, only one of which is a creepy crawler. Both hypotheses hold, yet I is false, so I is not forced.
Statement III: build a world with exactly one alligator, and it is a creepy crawler. Both hypotheses hold, yet III is false, so III is not forced.
The answer is .
Why this works
"Must be true" means true in every world consistent with the hypotheses. To confirm a statement, derive it; to reject one, exhibit a single tiny world where the hypotheses hold and the statement fails. In these problems "some" means "at least one" and never rules out "all."
The trap
Importing real-world facts about alligators, or reading 'some' as 'some but not all'.
Common mistakes
- Importing real-world facts about alligators, or reading 'some' as 'some but not all'.
- Believing statements I and III cannot both be false, when a world with one creepy-crawler alligator falsifies III and a second non-crawler alligator falsifies I.
Techniques
Test small/specific values or special cases to find or verify the answer