\/x (Hx /\ ¬ Mx);    Existe algún x tal que Hx /\ ¬ Mx ↔ Algún hombre no es mortal