/\x (Hx → ¬ Mx);    Para todo x si Hx entonces ¬ Mx ↔ Ningún hombre es mortal