Solución al ejercicio 6834

\forall x\forall y(x\neq y\rightarrow\neg Rxy\vee\neg Ryx