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

А пока попробуй ответить на следующий вопрос.

Вопрос четвертый. Предположим, зазеркальный логик убежден, что Черный Король спит. Обязательно ли он убежден, что Черный Король и Черная Королева оба спят?

- А разве это не тот же самый вопрос, который вы мне уже задавали? - спросила Алиса. - Если зазеркальный логик убежден, что Черный Король спит, то разве не одно и то же быть убежденным, что Черная Королева спит или что Черный Король и Черная Королева оба спят?

- Совсем не одно и то же, - решительно возразил Шалтай-Болтай.

- Но почему? - удивилась Алиса.

- Об этом я расскажу тебе потом, - пообещал Шалтай-Болтай, - а пока попытайся ответить на такой вопрос.

Вопрос пятый. Предположим, зазеркальный логик убежден, что Черный Король и Черная Королева оба спят.

Убежден ли он, что Черный Король спит?

- Думаю, что убежден, - ответила Алиса.

- А вот и нет! - заявил Шалтай-Болтай. - Попробуй-ка лучше ответить на другой вопрос.

Вопрос шестой. Предположим, зазеркальный логик убежден, что Черный Король и Черная Королева либо оба спят, либо оба бодрствуют. Следует ли отсюда, что зазеркальный логик убежден, что один из августейших супругов спит, а другой бодрствует?

- Конечно, не следует! - сказала Алиса.

- А вот и следует! - заметил Шалтай-Болтай. - Почему, я объясню тебе потом, а пока вот тебе еще один вопрос.

Вопрос седьмой. Предположим, зазеркальный логик убежден, что Лев не находится в лесу, если с ним нет Единорога.