Reasoning · Grade 6-1 Deductive Logic (2)

Problem

Case-split on a hypothetical condition

Three people all have different heights. Noah is either the tallest or the shortest. If Noah is taller than Sam, Kyle is the tallest. If Kyle is taller than Noah, Sam is the tallest. Line them up from tallest to shortest.
Your answer
How to solve
Strategy Eliminate Possibilities — The two 'if ... then ...' clues are useless until something is settled, so the first clue -- the only one that states a plain fact -- is the place to start. It splits the whole problem into just two cases: Noah first, or Noah last. In each case I suppose that case is the true one, follow the clues wherever they lead, and see whether I end up saying two things that cannot both be true. A case that forces a contradiction is dead and can be crossed off. Because the two cases cover everything clue 1 allows, whatever is left standing must be the answer -- but I still have to run the survivor back through all three clues to be sure it really works, since 'I did not find a problem' is not the same as 'there is no problem'. A row of three blanks, tallest on the left, keeps the bookkeeping straight while I do it.
1STEP 1

Draw the line-up and split into two cases

Split on whether one person is tallest.

Case A: Noah > □ > □ Case B: □ > □ > Noah
2STEP 2

Case A: suppose Noah is the tallest -- and find the contradiction

Assuming he is tallest gives a contradiction.

Noah > Sam → Kyle is tallest, but Noah is tallest → contradiction
3STEP 3

Case B: suppose Noah is the shortest -- and follow the clues

Assuming he is shortest lets the clues fix the order.

Kyle > Noah → Sam is tallest → Sam > Kyle > Noah
4STEP 4

Check that Sam > Kyle > Noah really satisfies all three clues

That order satisfies all three clues.

Sam > Kyle > Noah
5STEP 5

Confirm the order is the only one

Five of the six orders die, so one remains.

3 × 2 × 1 = 6 possible orders, 5 eliminated
Answer
Sam, Kyle, Noah
The answer is an order of three names, which is what the question asked for, and each of the three people appears exactly once. Noah ends up last, which agrees with clue 1's offer of first-or-last, and the case where he was first was ruled out, not merely skipped. Notice the two 'if ... then ...' clues behave differently in the final answer: clue 3's condition is true and its conclusion is true, while clue 2's condition is false so clue 2 never makes a demand at all. That asymmetry is exactly what you would expect -- if both conditions had been true, clue 2 and clue 3 would have insisted on two different tallest people, and no order could exist.
Takeaway

When a clue says 'either this or that', try both -- the one that makes you say two opposite things at once is wrong, and then check that the other one really fits every clue.

  • Draw the line-up and split into two cases
  • Case A: suppose Noah is the tallest -- and find the contradiction
  • Case B: suppose Noah is the shortest -- and follow the clues
  • Check that Sam > Kyle > Noah really satisfies all three clues
  • Confirm the order is the only one