Задача по математической логике на бинарные отношения.

Question

Задача по математической логике на бинарные отношения.

Антон Ледовский Ученик (160), на голосовании 1 неделю назад

Тут задача и мое решение.

Преподаватель сказал, что есть ошибка в транзитивности. Объясните, пожалуйста, где я ошибся.

Answer 1

Для множества Z\{0} все верно в решении, только знаки неравенства надо поменять на строгие. Для множества Z транзитивность не будет выполняться. Например можно взять x = 1, y = 0, z = -1