Транзитивно ли неравенство в Java?

Question

Если у меня есть 3 объекта a , b и c , и я хочу проверить, что ни один из них не равен друг другу, Мне нужно проверить:

родовое слово

Согласно документации Java, для правильно реализованного метода equals:

<цитата>

Это транзитивно: для любых ненулевых ссылочных значений x, y и z, если x.equals (y) возвращает true, а y.equals (z) возвращает true, то x.equals (z)должен вернуть истину.

Здесь говорится, что равенство транзитивно, а как насчет неравенства ?

Answer 1

задан общий кодовый код:

a!= b -> верно

b!= c -> верно

a!= c -> ложь

Итак, неравенство не является транзитивным.

Answer 2

Это не транзитивно.Рассмотрите вариант сгенерированного кодового кода, сгенерированный кодовый код и кодовый кодовый код.

Answer 3

Неравенство никогда не бывает транзитивным (если у вас есть 2 не равных элемента, a и b).Потому что тогда у вас есть! A.equals (b) и из-за симметрии! B.equals (a), но из-за идентичности у вас есть a.equals (a).Итак, неравенство не может быть переходным.

Answer 4

Нет, конечно, нет.

родовое слово

но

родовое слово

Answer 5

Ну нет.Для транзитивности необходимо условие, истинное для любых x, y, z;но если я выберу z== x, я очень надеюсь, что

родовое слово

и у!= г

НЕ подразумевает

родовое слово

поскольку z равно x!