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

– Почему? – спросила Алиса.

– О, это очень легко доказать! – ответил Шалтай-Болтай. – Представим себе абсолютно честного человека, который убежден в истинности тех и только тех утверждений, которые ложны. Так как он честен, то, разумеется, удовлетворяет условию 1. А как обстоит дело с условием 2? Предположим, этот человек заявляет, что некоторое утверждение истинно. Поскольку он честен, этот человек действительно убежден в истинности того утверждения, о котором идет речь. Следовательно, неверно, что он не убежден в истинности утверждения. Вместе с тем этот человек убежден в истинности всего, что ложно, даже если речь идет о ложных представлениях о его собственных убеждениях! Таким образом, неверно, что он не убежден в истинности утверждения, а, так как он убежден в истинности всего, что ложно, он должен быть убежден в ложном факте, состоящем в том, будто он не убежден в истинности утверждения. Иначе говоря, наш честный человек убежден, что он не убежден в истинности утверждения. А так как он убежден, что не убежден в истинности утверждения, то он заявляет, что не убежден в его истинности (напоминаю, что речь идет о честном человеке). Следовательно, наш честный человек удовлетворяет условию 2.

Перейдем теперь к условию 3. Возьмем любое истинное утверждение. Так как оно истинно, то тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, не убежден в истинности выбранного нами произвольного истинного утверждения. Так как он не убежден в истинности утверждения, то должен быть убежден, что убежден в его истинности (поскольку все его убеждения правильнее было бы назвать заблуждениями!). А раз он убежден, что убежден в истинности утверждения, он не может не заявить, что убежден в его истинности. Тем самым доказано, что он удовлетворяет условию 3.

– Условия 4 и 5 очевидны, – продолжал Шалтай-Болтай. – Возьмем любое утверждение и противоположное утверждение. Одно из них должно быть истинно, другое ложно. Следовательно, тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, убежден в истинности ложного (прямого или противоположного) утверждения и не убежден в истинности истинного. Значит, он не убежден в истинности обоих утверждений (и поэтому удовлетворяет условию 4), но зато убежден в истинности по крайней мере одного из них (и поэтому удовлетворяет условию 5).

– Вот и вся история, – заключил Шалтай-Болтай. – Зазеркальный логик – человек честный, но судит обо всем превратно. И наоборот, всякий, кто и честен, и судит обо всем превратно, удовлетворяет пяти условиям, отличающим зазеркального логика от прочих смертных. Вот тебе ключ к разгадке всех загадок!

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

– Что же тут непонятного? Все очень просто, – возразил Шалтай-Болтай. – Взять, например, утверждение о том, что Черный Король спит. Ему противоположно утверждение о том, что Черный Король бодрствует. Ясно, одно из этих утверждений истинно, а другое ложно. Зазеркальный логик убежден в истинности только того утверждения, которое ложно, поэтому он не может быть убежден в истинности прямого и противоположного утверждения в отдельности. Тем не менее отдельно взятое утверждение о том, что Черный Король одновременно и спит, и бодрствует, ложно. Следовательно, зазеркальный логик должен быть убежден в его истинности.

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

Вот как ответил сам Шалтай-Болтай на свои же вопросы.

1. Так как зазеркальный логик убежден, что Черный Король спит, в действительности Черный Король должен бодрствовать. Следовательно, Алиса не снится Черному Королю. (Под «снится» я отнюдь не имею в виду «грезится наяву»!) А так как Алиса Черному Королю не снится, зазеркальный логик должен быть убежден, что Алиса снится Черному Королю.

2. Так как зазеркальный логик убежден, что либо Черный Король, либо Черная Королева спит, то в действительности неверно, что либо Черный Король, либо Черная Королева спит. Следовательно, они оба бодрствуют. А так как Черная Королева бодрствует, зазеркальный логик должен быть убежден, что она спит (и по той же причине он должен быть убежден, что Черный Король спит).

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

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

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

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

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

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

8. Так как зазеркальный логик убежден, что ложное истинно, а истинное ложно, Бармаглот за всю свою жизнь не высказал ни одного истинного утверждения. Все утверждения, высказанные когда-либо Бармаглотом, ложны. Следовательно, зазеркальный логик должен быть убежден в истинности каждого утверждения Бармаглота.

9. Зазеркальный логик убежден, что у всех грифонов есть крылья. Значит, в действительности у грифонов нет крыльев. Но тогда существует по крайней мере «дин грифон без крыльев. Следовательно, по крайней мере один грифон должен существовать.

10. Этот вопрос «с подвохом», так как неверно, что зазеркальный логик может быть уверен в обоих фактах, о которых говорится в условиях задачи.

Предположим, зазеркальный логик убежден, что Алиса не достигнет восьмой горизонтали, не став королевой. Значит, неверно, что Алиса не достигнет восьмой горизонтали, не став при этом королевой. В свою очередь это означает, что Алиса достигнет восьмой горизонтали, не став королевой. Следовательно, верно, что Алиса достигнет восьмой горизонтали, а поэтому зазеркальный логик не может быть убежден, что Алиса достигнет восьмой горизонтали.

Глава 11

Теория Черного Короля

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

– Что это? – с тревогой спросила Алиса.

– Ничего особенного, – ответил Шалтай-Болтай. – Просто Черный Король храпит во сне. На Его Величество стоит взглянуть! Ну и вид у него!