# To Mock a Mockingbird: 4 brothers

On page 30 of Raymond Smullyan's book To Mock a Mockingbird, we are told that there are four brothers, indistinguishable in appearance, of which

• Arthur is an accurate truth-teller,
• Bernard is an inaccurate truth-teller,
• Charles is an accurate liar,
• David is an inaccurate liar,

where "inaccurate" means that one always believes that true proposition are false and vice versa.

In the puzzle 2 at page 30, the premise is

• Arthur is married and wealthy,
• Bernard is married and not wealthy,
• Charles is not married and wealthy,
• David is not married and not wealthy.

Upon meeting one of the four brothers, what three-word question is enough to find out whether he's married?

The author gives this solution, which makes use of the property of being wealthy:

Are you wealthy?

However, since the property of being wealthy is owned only by those two brothers which are accurate (though one is truth-teller and one is liar), isn't the following question, which doesn't rely on the property of being wealthy, enough?

Are you accurate?

• Ok, so the answer could be yes, or no? Commented Apr 9, 2021 at 16:58
• Welcome to Puzzling.SE! We generally don't allow puzzles that don't have attribution. If you could edit in a source, that would be much appreciated! Commented Apr 9, 2021 at 17:02
• It is actually attributed, just not very explicitly. I'll edit it to make this clearer. Commented Apr 9, 2021 at 18:40

So far as I can see, your alternative question will also work. I don't see any obvious reason to prefer it to the one Smullyan suggests, but it seems fine.

I'll go into a bit more detail why your proposed question works.

First, let's look at accuracy. The most important point is this:

Everyone believes themselves to be accurate.

Explanation of above point:

An accurate person believes themself to be accurate, correctly. They are accurate that they are accurate. On the other hand, and inaccurate person believes themself to be accurate as well! They are inaccurate about themself being accurate - since "I am accurate" is a false statement they believe it to be true.

Therefore, a wonderful thing occurs:

Since everyone believes the answer to be "yes" to your question, truth-tellers will answer "yes" and liars will answer "no". The actual content of the question doesn't matter at this point of the analysis, just that everyone believes the answer to be "yes".

And to finally get to how this comes back to finding out if they're married or not:

Both married brothers (Arthur and Bernard) are truth-tellers and will answer "yes". Both unmarried brothers (Charles and David) are liars and will answer "no". Therefore if you get a "yes" answer the brother you met is married, and if you get a "no" answer they are unmarried.

This is similar to the author's proposed question because:

Everyone believes themself to be wealthy.

And then the rest follows from there in a similar fashion.