Lambdia

Modus tollens

1 article
Foundations & LogicLycéeExplication11 min

Blue, and the Two Sentences That Contain No Answer

Of the eight colour triples, seven are feasible from a pool of three blue hats and two red. The first silence removes one, the second removes two more, and all four survivors put a blue hat on the third man, which is what makes his answer a deduction rather than a lucky call. A pool sweep shows three blue and two red is the only small pool where the story can happen.

0