Reasoning · Grade 6-1 Deductive Logic (1)

Problem

Deduction table decides a one-to-one matching

Three people each lost one of a pencil, a notebook and an eraser. No item was lost twice. Five classmates each make one statement. Pick the statements that alone settle who lost what.
Your answer
How to solve
Strategy Use Matrix Logic — 'Who lost what' with a one-to-one pairing is exactly what a deduction table is for: three people down the side, three items across the top, a circle for yes and a cross for no. I draw five separate copies of the same blank table, one per classmate, and fill in only that classmate's statement. Then the one-to-one rule does the rest of the work automatically — a circle empties its row and its column, and a row or column with two crosses forces a circle in the remaining cell. For the statements that do not finish, I do not merely say 'stuck': I make a systematic list of the matchings that survive and show two different ones, which is the only honest proof that the statement was not enough.
1STEP 1

Set up the table and note there are only six matchings in all

There are 6 possible matchings.

3 × 2 × 1 = 6 possible matchings
2STEP 2

The two rules that make a table finish itself

One tick in a row clears the rest.

3STEP 3

Hannah: not enough — three matchings survive

The first leaves three matchings — not enough.

4STEP 4

Daniel: enough — the table fills itself in

The second makes the table fill itself.

Jordan → eraser, Simon → pencil, Mia → notebook
5STEP 5

Chloe: not enough — two matchings survive

The third leaves two matchings.

6STEP 6

Ryan: enough — two circles leave only one place for the third

The fourth's two ticks force the third.

Jordan → pencil, Simon → notebook, Mia → eraser
7STEP 7

Emma: not enough — two matchings survive, despite three clues

The fifth gives three clues and still falls short.

8STEP 8

Collect the verdicts

The sufficient ones are the second and the fourth.

Hannah 3, Daniel 1, Chloe 2, Ryan 1, Emma 2
Answer
Daniel and Ryan
3 × 2 × 1 = 6
Every verdict was checked against all 6 possible matchings, not just argued for, and the counts 3, 1, 2, 1, 2 are all between 1 and 6 as they must be — no statement in the problem is self-contradictory, so none leaves 0. The two statements that work do so for a visible reason: each of them names at least one pairing outright with a circle, while the three that fail consist only of crosses or of one circle plus a redundant cross. Notice also that Daniel and Ryan force different matchings from each other — Daniel gives Jordan the eraser, Ryan gives Jordan the pencil — which is fine, because the statements are tested separately and are never required to agree.
Takeaway

To say a clue is not enough, don't say you got stuck — show two different answers that both fit it.

  • Set up the table and note there are only six matchings in all
  • The two rules that make a table finish itself
  • Hannah: not enough — three matchings survive
  • Daniel: enough — the table fills itself in
  • Chloe: not enough — two matchings survive
  • Ryan: enough — two circles leave only one place for the third
  • Emma: not enough — two matchings survive, despite three clues
  • Collect the verdicts