Условие 3.

Условие 3.

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