When you are trying to get to Truth Town, you get to No Knaves Town, a city comprised of only Liars and Knights. Each of the three forks leading away from the town (not including the one you came from) leads to a different city.

There are 6 people around. Wanting to know who is what so you can ask them which fork to take, you ask them who is a liar and who is a knight.

A: C would say that B is a liar
B: D would say that C is a knight
C: E would say that F is a liar
D: C would say that A is a knight

Tired of these responses, you ask what fork leads to Truth Town.

E: The left fork leads to Truth Town
F: The middle fork leads to Truth Town

Which fork should you take to get to Truth Town?

It seems people are in agreement with A being a knight and B being a liar. But I have a problem with that.

The truth is:
C would say that B is a liar
D would not say that C is a knight

Now, If C is a knight, then B is a liar, and D is a liar. If C is a liar then B is a knight, and D is a knight. In other words D = B. We know that B is a liar so D must be a liar.
If D is a liar then C would not say that A is a knight. We know from the above paragraph that C is a knight, but then that would mean that A cannot be a knight, which goes against what most people are saying (and what I think is true, as well).

Posted by G on 2004-06-14 22:11:46