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

- Ничего, со временем привыкнешь! - заверил ее Шалтай-Болтай.

Алиса поразмыслила еще немного.

- Мне хотелось бы спросить, - обратилась она к Шалтаю-Болтаю, обязательно ли зазеркальный логик должен быть убежден в истинности всех ложных утверждений или просто он убежден в истинности только ложных утверждений?

- Хороший вопрос, дитя мое! - одобрил ШалтайБолтай.

- И ответ на него хороший: "Да". Возьмем любое ложное утверждение. По условию 5 зазеркальный логик либо убежден в истинности этого утверждения, либо убежден в истинности противоположного утверждения. Но в истинности противоположного утверждения он не может быть убежден, так как оно истинно. Следовательно, зазеркальный логик убежден в истинности ложного утверждения.

- Как необычно!-воскликнула Алиса. - Подумать только! Зазеркальный логик убежден в истинности всех ложных и не убежден в истинности истинных утверждений!

- Совершенно верно! - сказал Шалтай-Болтай. - И это самое прекрасное в зазеркальной логике! Не могу не отметить еще одну весьма интересную ее особенность, - добавил он. - Всякий, кто убежден в истинности всех ложных и не убежден в истинности истинных утверждений и честно выражает свои убеждения, повторяю, всякий, кто придерживается таких убеждений, удовлетворяет пяти основным условиям, характеризующим зазеркальных логиков.

- Почему? - спросила Алиса.

- О, это очень легко доказать! - ответил ШалтайБолтай.