\/x (Hx /\ Mx);    Existe algún x para el que Hx /\ Mx ↔ Algún hombre es mortal