De las siguientes premisas:

1. (x ≠ y ) → (x < z)

2. ¬(x<z) ν (y > z)

3. ( y ≠z ) Λ ( x ≠z)

4. ( x=y) → ( x = z)​