Considere los siguientes predicados sobre los dominios $B$ de todos los conejitos, $M$ de todos los magos, y $J$ de todos los músicos de jazz.
$F(x; y)$: $x$ enviado una solicitud de amistad a la persona $y$.
$D(x; y): x$ hecho $y$ a desaparecer.
$H(x; y): x$ le gusta ser hecho desaparecer por $y$.
a) $\forall a\in B\ \neg(\exists c\in B\ a\ne c\land D(a,c))\iff\forall b\in M\ H(a,b)$
Tengo: cada conejo no puede hacer que algunos otros conejitos desaparecer si y sólo si cada conejo le gusta ser hecho desaparecer por los magos.
No estoy seguro si esto es correcto porque estoy teniendo un poco de problemas para traducir $\lnot (\exists c \in B, a \neq c \land D(a,c))$ en inglés.
