1,588 views

All people in a certain island are either 'Knights' or 'Knaves' and each person knows every other person's identity. Knights never lie, and Knaves ALWAYS lie.

$P$ says "Both of us are Knights". $Q$ says "None of us are Knaves".

Which one of the following can be logically inferred from the above?

1. Both $P$ and $Q$ are knights.
2. $P$ is a knight; Q is a Knave.
3. Both $P$ and $Q$ are Knaves.
4. The identities of $P, Q$ cannot be determined.
Migrated from GO Mechanical 3 years ago by Arjun

There are $4$ possible cases :

$(A)$ Both $P$ and $Q$ are knights

It means both statements "Both of us are Knights" and "None of us are Knaves" are true which is not contradicting our assumption. So, It is a possible case.

$(B)$ $P$ is knight and $Q$ is knave

It means statement "Both of us are Knights" is true but it is contradicting our assumption. So, It is NOT a possible case.

$(C)$ $P$ is knave and $Q$ is knight

It means statement "Both of us are Knights" is false and statement "None of us are Knaves" is true but this statement by $Q$ is contradicting our assumption . So, It is NOT a possible case.

$(D)$ $P$ is knave and $Q$ is knave

It means statement "Both of us are Knights" is false which means at least one should be knave which is not contradicting our assumption and statement "None of us are Knaves" is false which means at least one should be knave which is also not contradicting our assumption. So, It is a possible case.

So, It is possible that both $P$ and $Q$ are knights and it is also possible that both $P$ and $Q$ are knaves. So, we can't identify them.

Option D is the correct answer.

 P Q Inference Knight Knight This case is possible. Knight Knave This case is not possible. Knave Knight This case is not possible. Knave Knave This case is possible.

So, either both are Knights or both are Knaves.

1 vote