Show that negative transitivity is logically equivalent with the following claim: xz implies th

Question

Show that negative transitivity is logically equivalent with the following claim: x>z implies th

Accepted Answer

First, let's assume that negative transitivity holds. This means that if $x > y$ and $y > z$, th

Show that negative transitivity is logically equivalent with the following claim: $x>z$ implies that, for all $y$ in $B, x>_y$ or $y>_z$.