|
|
|
|
|
|
by gobdovan
59 days ago
|
|
|
> The "neither" case is excluded by the law of totality. We literally said the same thing. It doesn't follow from antisymmetry. My point is precisely that: (x <= y /\ y <= x) -> x = y does not entail x <= y \/ y <= x The second statement is totality/comparability, not antisymmetry. |
|
|