Условие 1.

Условие 1.

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