Convert to predicate logic: the relation $R$ on the set $X$ is antisymmetric

31 Views Asked by At

How would I cast the following to logical symbols

The relation $R$ on the set $X$ is antisymmetric.

1

There are 1 best solutions below

0
On

$(\forall a \in X)(\forall b \in X)\left [(aRb \wedge a\not = b) \implies \lnot bRa \right]$