Следовательно, наш честный человек удовлетворяет условию 2.
Перейдем теперь к условию 3. Возьмем любое истинное утверждение. Так как оно истинно, то тот. кто убежден в истинности ложных и не убежден в истинности истинных утверждений, не убежден в истинности выбранного нами произвольного истинного утверждения. Так как он не убежден в истинности утверждения, то должен быть убежден, что убежден в его истинности (поскольку все его убеждения правильнее было бы назвать заблуждениями!). А раз он убежден, что убежден в истинности утверждения, он не может не заявить, что убежден в его истинности. Тем самым доказано, что он удовлетворяет условию 3.
- Условия 4 и 5 очевидны, - продолжал ШалтайБолтай, - Возьмем любое утверждение и противоположное утверждение. Одно из них должно быть истинно, другое ложно.
Следовательно, тот, кто убежден в истинности ложных и не убежден в истинности истинных утверждений, убежден в истинности ложного (прямого или противоположного)
утверждения и не убежден в истинности истинного. Значит, он не убежден в истинности обоих утверждений (и поэтому удовлетворяет условию 4), но зато убежден в истинности по крайней мере одного из них (и поэтому удовлетворяет условию 5).
- Вот и вся история, - заключил Шалтай-Болтай. - Зазеркальный логик - человек честный, но судит обо всем превратно. И наоборот, всякий, кто и честен, и судит обо всем превратно, удовлетворяет пяти условиям, отличающим зазеркального логика от прочих смертных. Вот тебе ключ к разгадке всех загадок!
- Одно все-таки мне неясно, - сказала Алиса. - Почему зазеркальный логик никогда не высказывает какое-нибудь утверждение и противоположное утверждение и вместе с тем заявляет, что утверждение и противоположное ему оба истинны?
- Что же тут непонятного? Все очень просто, - возразил Шалтай-Болтай. - Взять, например, утверждение о том, что Черный Король спит. Ему противоположно утверждение о том, что Черный Король бодрствует. Ясно, одно из этих утверждений истинно, а другое ложно. Зазеркальный логик убежден в истинности только того утверждения, которое ложно, поэтому он не может быть убежден в истинности прямого и противоположного утверждения в отдельности. Тем не менее отдельно взятое утверждение о том, что Черный Король одновременно и спит, и бодрствует, ложно.
Следовательно, зазеркальный логик должен быть убежден в его истинности.
А теперь, когда у тебя есть ключ к разгадке, ответы на все мои вопросы покажутся тебе очевидными.
Вот как ответил сам Шалтай-Болтай на свои же вопросы.
1. Так как зазеркальный логик убежден, что Черный Король спит, в действительности Черный Король должен бодрствовать. Следовательно, Алиса не снится Черному Королю. (Под "снится" я отнюдь не имею в виду "грезится наяву"!) А так как Алиса Черному Королю не снится, зазеркальный логик должен быть убежден, что Алиса снится Черному Королю.