JК
Алиса в стране смекалки :: Смаллиан Рэймонд
Страница: 157 из 202Так как Королева Червей действительно думает, что Король так думает, то она не в своем уме. Что же касается Короля, то данные задачи не позволяют определить, в своем ли он уме.
23. Додо, Попугайчик Лори и Орленок. Так как Лори думает, что Додо не в своем уме, то Лори и Додо совсем несхожи (если Лори в здравом рассудке, то Додо не в своем уме; если Лори не в своем уме, то Додо в действительности не безумец, а пребывает в здравом рассудке). Так как Орленок думает, что Додо в здравом рассудке, то Орленок совсем несхож с Лори (который думает, что Додо не в своем уме).
Следовательно, Орленок схож с Лори. (То же самое можно доказать иначе: если Орленок в своем уме, то Додо в действительности в здравом рассудке, а если Орленок не в своем уме, то Додо в действительности не в здравом рассудке, а не в своем уме.) Следовательно, Орленок и Додо схожи между собой, а Лори несхож с ними обоими. Так как Лори несхож с Орленком, то Лори должен думать, что Орленок не в своем уме. Значит, Додо судит здраво, поэтому Додо в своем уме.
24. Валет Червей. Докажем, что если Семерка не в своем уме, то Шестерка должен быть в здравом рассудке и, следовательно. Валет Червей здраво рассудил, думая, что Шестерка и Семерка не могут быть оба не в своем уме.
Предположим, что не в своем уме Семерка. Тогда то, что Семерка думает о Пятерке, ложно, поэтому Пятерка в здравом рассудке. Следовательно, Пятерка судит обо всем здраво, поэтому Туз и Четверка либо оба не в своем уме, либо оба в здравом рассудке. Но Туз и Четверка не могут быть оба не в своем уме.
23. Додо, Попугайчик Лори и Орленок. Так как Лори думает, что Додо не в своем уме, то Лори и Додо совсем несхожи (если Лори в здравом рассудке, то Додо не в своем уме; если Лори не в своем уме, то Додо в действительности не безумец, а пребывает в здравом рассудке). Так как Орленок думает, что Додо в здравом рассудке, то Орленок совсем несхож с Лори (который думает, что Додо не в своем уме).
Следовательно, Орленок схож с Лори. (То же самое можно доказать иначе: если Орленок в своем уме, то Додо в действительности в здравом рассудке, а если Орленок не в своем уме, то Додо в действительности не в здравом рассудке, а не в своем уме.) Следовательно, Орленок и Додо схожи между собой, а Лори несхож с ними обоими. Так как Лори несхож с Орленком, то Лори должен думать, что Орленок не в своем уме. Значит, Додо судит здраво, поэтому Додо в своем уме.
24. Валет Червей. Докажем, что если Семерка не в своем уме, то Шестерка должен быть в здравом рассудке и, следовательно. Валет Червей здраво рассудил, думая, что Шестерка и Семерка не могут быть оба не в своем уме.
Предположим, что не в своем уме Семерка. Тогда то, что Семерка думает о Пятерке, ложно, поэтому Пятерка в здравом рассудке. Следовательно, Пятерка судит обо всем здраво, поэтому Туз и Четверка либо оба не в своем уме, либо оба в здравом рассудке. Но Туз и Четверка не могут быть оба не в своем уме.