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

Относительно любого утверждения зазеркальный логик либо убежден в его истинности, либо убежден в истинности противоположного утверждения.

- Это самый полный перечень условий, - с гордостью заметил Шалтай-Болтай. - Из них ты сможешь вывести, какие утверждения зазеркальный логик считает истинными и какие ложными. А теперь я хочу задать тебе несколько вопросов, чтобы проверить, все ли ты поняла.

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

- Как я могу это узнать? - возмутилась Алиса.

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

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

Следует ли из этого, что он убежден, что Черная Королева спит?

- А почему это должно следовать? - спросила Алиса.

- Это действительно следует, - сказал Шалтай-Болтай, - а вот почему, ты узнаешь потом. А пока попытайся ответить на такой вопрос.

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

- А почему он должен быть убежден в этом? - вне себя от удивления спросила Алиса.

- Хороший вопрос, - одобрительно заметил Шалтай-Болтай, - мы еще вернемся к нему.