Which Alice?
Which Alice?
Which Alice?
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Solutions to the Puzzles<br />
the only possibility is that C is the spy (and B, having accused C, is<br />
the knight, and A, having accused B, is the knave).<br />
In summary, if C accused A, then the judge couldn't have made a<br />
conviction, but if C accused B, the judge would know that C was the<br />
spy. Since the judge did know, then it must have been that C accused<br />
B, and the judge then convicted C.<br />
A STILL MORE INTERESTING CASE We do not know what A<br />
and B answered. There are four possible cases to consider: (1) A, B<br />
both said yes; (2) A said no and B said yes; (3) A said yes and B said<br />
no; (4) both said no.<br />
These cases will come up again in the next two problems, and we<br />
will now analyze them with care.<br />
Case 1—they both said yes: Since A claims he is the spy, then he is<br />
either the knave or the spy (because a knight could never claim to<br />
be a spy). If A is the knave, then he lied; hence B lied when he said<br />
that A told the truth; so B is not a knight, and since A is the knave,<br />
B is the spy. This means that C must be the knight. So if A is the<br />
knave, B is the spy, and C is the knight.<br />
Suppose A is the spy. Then he answered truthfully; so B<br />
answered truthfully in saying that A answered truthfully; so B must<br />
be the knight. This makes C the knave. So if A is the spy, then B is<br />
the knight, and C is the knave. Let us record these two possibilities<br />
(which we'll call la and 1b) of Case 1:<br />
Case 2—A said no and B said yes: Since A denied being the spy, he is<br />
the knight or the spy. (A knave would lie and say he was the spy.) If<br />
A is the knight, he told the truth; hence B also told the truth in<br />
affirming that A told the truth; so B can't be the knave, so he must<br />
be the spy. This makes C the knave.<br />
If A is the spy, then he lied; hence B also lied when he affirmed<br />
159