Король и Королева Треф.

21. Король и Королева Треф.
   Не может быть, чтобы Король (Треф) думал, что Королева (Треф) думает, что Король думает, что Королева не в своем уме. Действительно, предположим, что Король так думает. Тогда Королева думает, что Король думает, что она не в своем уме. Но, как было показано в предыдущей задаче, это означает, что не в своем уме Король. Таким образом, если Король в своем уме, то он не в своем уме. Следовательно, Король не может быть в своем уме - Король безумен. Значит, он превратно судит обо всем и Королева в действительности не думает, что Король думает, что она не в своем уме. Но Королева либо в своем уме, либо безумна. Если она в своем уме. то здраво судит обо всем. Значит, верно, что Король не думает, что она не в своем уме, поэтому Король думает, что Королева в здравом рассудке. Но тогда Король мыслит здраво, и мы опять приходим к противоречию: безумный Король мыслит в соответствии с истиной. С другой стороны, если Королева не в своем уме, то она судит обо всем превратно, поэтому Король в действительности думает, что она не в своем уме. Тем самым Король должен был бы быть в здравом рассудке, между тем как он не в своем уме. Итак, и в одном и в другом случае мы приходим к противоречию.
   Оно доказывает просто невозможность такого положения, при котором Король думает, что Королева думает, что она не в своем уме. Таким образом, если бы Герцогиня задала Алисе логическую задачу, то это, несомненно, свидетельствовало бы о том, что Герцогиня не в   своем уме. Но в действительности Герцогиня не задавала Алисе такой задачи. Она лишь спросила у Алисы:
- А что бы ты сказала, если бы я сообщила тебе, что...

Amadeus Vista. Учебное пособие для пользователей тут