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

Home > Logic > Liars and Knights
Type deduction (Posted on 2011-12-24) Difficulty: 3 of 5
Each of the three girls Francine, Gertrude and Harriet are either knights who always tell the truth or liars who always tell a lie.

Francine says, "Either I belong or Gertrude belongs to a different type from the other two."

Whose type can you deduce with absolute certainty?

See The Solution Submitted by K Sengupta    
Rating: 4.5000 (2 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
Solution Answer | Comment 2 of 3 |
Suppose Francine is a knight. Then, either she or Gertrude is a different type from the other two. If Francine is different, then the other two are liars. If Gertrude is different, then the other two are knights. In both cases, Gertrude is a liar.

Suppose Francine is a liar. Then, neither she nor Gertrude is a unique type. Suppose Gertrude is a knight. Then, Harriet cannot be a knight because Francine would be the only liar. However, Harriet cannot be a liar because Gertrude would be the only knight. This is a contradiction, so Gertrude is a liar.

In all cases, Gertrude is a liar. Therefore, Gertrude is the one that can be deduced. Gertrude is a liar.

  Posted by Math Man on 2011-12-24 13:50:04
Please log in:
Remember me:
Sign up! | Forgot password

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

Copyright © 2002 - 2019 by Animus Pactum Consulting. All rights reserved. Privacy Information