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

Если зазеркальный логик убежден в чем-то, то это вовсе не означает, ни что он знает, что убежден, ни даже что он обязательно убежден, что убежден в этом чем-то. Более того, зазеркальный логик может быть ошибочно убежден, что он в чем-то не убежден.

- Вы хотите сказать, - заговорила в крайнем удивлении Алиса, что кто-то может быть в чем-то убежден и вместе с тем убежден в том, что он не убежден в этом чем-то?

- Если этот кто-то - зазеркальный логик, то да, - ответил Шалтай-Болтай. - С зазеркальными логиками такое происходит непрестанно. Это непосредственно следует из первых двух условий.

- Как так? - удивилась Алиса.

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

Следовательно, по первому условию он должен быть убежден, что не убежден в истинности того утверждения, о котором идет речь.

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

Условие 3. Относительно истинного утверждения (истинность которого достоверно известна) зазеркальный логик заявляет, что убежден в его истинности.

Условие 4. Если зазеркальный логик в чем-то убежден, то он не может быть также убежден в противоположном.

Условие 5.