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