How would I cast the following to logical symbols
The relation $R$ on the set $X$ is antisymmetric.
$(\forall a \in X)(\forall b \in X)\left [(aRb \wedge a\not = b) \implies \lnot bRa \right]$
Copyright © 2021 JogjaFile Inc.
$(\forall a \in X)(\forall b \in X)\left [(aRb \wedge a\not = b) \implies \lnot bRa \right]$