Hola estoy trancado en este ejercicio y no me sale:
Definition Irreflexiva := ~exists x:U, (R x x).
Definition Asimetrica := forall x y:U, (R x y) -> ~(R y x).
Lemma e32 : Asimetrica -> Irreflexiva.
Proof.
intro.
unfold not.
Qed.
Creo que esta bien planteado.
Me podrán tirar alguna ayuda de como seguir? No me sale.
Saludos.