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

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

4. Иное дело четвертый вопрос! Так как зазеркальный логик убежден, что Черный Король спит. то это неверно, и в действительности Черный Король бодрствует.

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

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

Однако он убежден, что Черный Король и Черная Королева оба спят!

5. Зазеркальный логик убежден, что Черный Король и Черная Королева оба спят. Это означает лишь, что в действительности по крайней мере один из августейших супругов бодрствует. Мы не знаем, кто именно (Король или Королева) бодрствует, поэтому не можем определить, убежден ли зазеркальный логик, что Черный Король спит, или нет.

6. Так как зазеркальный логик убежден, что Черный Король и Черная Королева либо оба спят, либо оба бодрствуют, то в действительности неверно, что они либо оба спят, либо оба бодрствуют. Значит, один из них спит, а другой бодрствует. О том, кто бодрствует, зазеркальный логик думает, что он (или она) спит. О том, кто спит, зазеркальный логик думает, что она (или он) бодрствует.

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