Алиса в стране смекалки   ::   Смаллиан Рэймонд

Это означает, что Грифон, будучи не в своем уме, должен принимать за истинные все ложные утверждения, в частности утверждение о том, что ровно один из троих в здравом рассудке, хотя, как мы уже доказали, он так не думает. Полученное противоречие показывает, что Грифон не может быть не в своем уме. Следовательно, Грифон в здравом рассудке и Черепаха Квази (будучи таким же безумным или здравомыслящим), как Грифон, должен быть в своем уме.

Ответ: Омар не в своем уме. Грифон и Черепаха Квази оба в здравом рассудке.

20. Король и Королева Червей. Королева Пик думает, что Король Пик думает, что она не в своем уме. Если она в здравом рассудке, то Король действительно думает, что она не в своем уме, а это означает, что не в своем уме должен быть Король. Если же Королева не в своем уме, то Король в действительности не думает, что она не в своем уме, а если бы он был в здравом рассудке, то думал бы. Поэтому и в этом случае Король не в своем уме. Итак, в любом случае Король должен быть не в своем уме. Что же касается Королевы Пик, то она может быть и в здравом рассудке, и не в своем уме.

21. Король и Королева Треф. Не может быть, чтобы Король (Треф) думал, что Королева (Треф) думает, что Король думает, что Королева не в своем уме. Действительно, предположим, что Король так думает. Тогда Королева думает, что Король думает, что она не в своем уме. Но, как было показано в предыдущей задаче, это означает, что не в своем уме Король. Таким образом, если Король в своем уме, то он не в своем уме. Следовательно, Король не может быть в своем уме - Король безумен.