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

И Алиса записала:

"Утверждение 2. Если дано любое истинное утверждение, то зазеркальный логик убежден, что он убежден в истинности этого утверждения".

- Теперь ты понимаешь, - спросил ШалтайБолтай, - почему зазеркальный логик не может быть убежденным в истинности истинного утверждения?

- Не совсем, - призналась Алиса.

- Такое заключение нетрудно вывести из утверждения 1, утверждения 2 и условия 4, - сказал ШалтайБолтай. - Возьмем любое утверждение, в истинности которого убежден зазеркальный логик. По утверждению 1 он убежден, что не убежден в истинности этого утверждения. Но он не может быть одновременно убежденным, что он убежден в истинности этого утверждения (так как по условию 4 он не может быть убежденным в чем-то и одновременно быть убежденным в противоположном). А так как он не убежден, что убежден в истинности утверждения, то оно не может быть истинным, потому что если бы оно было истинным, то по утверждению 2 зазеркальный логик был бы убежден, что убежден в его истинности. Но в действительности он не убежден, что убежден в истинности рассматриваемого утверждения.

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

Алисе пришлось изрядно поразмыслить над сказанным.

- Весьма сложное доказательство! - наконец сказала она.