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