# Implication of three statements

Three fellows accused of stealing CDs make the following statements:

(1) Ed: “Fred did it, and Ted is innocent.”
(2) Fred: “If Ed is guilty, then so is Ted.”
(3) Ted: “I’m innocent, but at least one of the others is guilty.”

If the innocent told the truth and the guilty lied, who is guilty? (Remember that false statements imply anything).

I think Ed and Ted are innocent and Fred is guilty. Is it in contradiction with statement 2.

What do you say?

-

Let us write the following propositions:

$F_g$ means Fred is guilty, and $F_i$ means Fred is innocent, $T_g$ and $T_i$ for Ted and $E_g$ and $E_i$ for Ed.

1. Ed says: $F_g \wedge T_i$
2. Fred says: $E_g \rightarrow T_g$
3. Ted says: $T_i \wedge (F_g \vee E_g)$

We know that the guilty is lying and the innocent tells the truth.

Assume Fred did it, he is guilty and lying. Meaning $E_g \rightarrow T_g$ is false, meaning $E_g$ is true and $T_g$ is false, that is Ed is guilty and Ted is innocent.

In turn it means that Ed is also lying, that is either Fred is innocent or Ted is guilty. If Fred is innocent then he is telling the truth - contradiction.

Therefore we know that Ted is guilty as well, another contradiction because it follows from Fred's lie that Ted is innocent.

Alright, then we have that Fred is definitely not guilty. So either Ed is innocent or Ted is guilty.

Assume that Ed is innocent, this is a right out contradiction, as this implies Fred is guilty. So we have that Ed has to be guilty, which means Ted is also guilty - therefore he is lying. Which means he either guilty or both the other guys are innocent. Since he is guilty we have a good solution:

Fred is innocent, Ted and Ed are guilty.

-
Nice. Can you suggest a book which solves logical puzzles using math. –  Vinod Dec 23 '10 at 1:51
@Vinod: I don't know any books about puzzles, sorry. I can only recommend you to study propositional calculus, and the basics behind mathematical thought process. –  Asaf Karagila Dec 23 '10 at 7:01