All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Logic > Liars and Knights
X and Y (Posted on 2011-01-04) Difficulty: 3 of 5
There is an island where every inhabitant is either of Type X or Type Y. One of the types always tells the truth, and the other type always lies, but you are not sure which is which. You meet two inhabitants of this island, A and B.
A: B is of Type X.
B: We are both of Type Y.
Which type tells the truth, which type lies, and what are A and B?

See The Solution Submitted by Math Man    
Rating: 4.0000 (2 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
Solution Explanation for Puzzle Answer Comment 5 of 5 |
(In reply to Puzzle Answer by K Sengupta)

Assume that A and B are of the same type. 

Then:
EITHER, both A and B are liars.
OR, both A and B are truthtellers.
If both A and B are liars, then A's false statement implies that B belongs to Type Y. But, B's false statement implies that both of them cannot be Type Y. So, A must correspond  to Type X. This is a contradiction since the two of them are NOT of the same type.
If both A and B are truthtellers, then A's true statement implies that B is of Type X. But B's true statement indicates that he must correspond to Type Y. Contradiction. Accordingly, one of A and B must be a liar and the other a truthteller.
Since the two individuals must correspond to different types, this clearly marks out B as a liar. Therefore, A must be a truthteller.
This is in consonance with the given conditions. 
Consequently  summarizing,  we have:
A -> Type Y -> Always speaks truthfully.
B-> Type X -> Always lies.

Edited on March 17, 2022, 2:21 am
  Posted by K Sengupta on 2022-03-17 02:17:56

Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (3)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2024 by Animus Pactum Consulting. All rights reserved. Privacy Information