How come asymmetry implies antisymmetry

805 Views Asked by At

It is said that asymmetry implies antisymmetry, but how come so?

If $aRb \Rightarrow \neg(bRa)$, isn't this also the case for $a = b$, which indicates $aRa \Rightarrow \neg(aRa)$, which is a contradiction.

1

There are 1 best solutions below

1
On

Asymmetry says that given $aRb$, we can't have $bRa$. Antisymmetry has both $aRb$ and $bRa$ as hypothesis, so in this case it is true by vacuity, since both hypothesis can never be satisfied simultaneously.