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