formula_99"x" (P"x" → ¬M"x") Para todo "x" si P"x" entonces ¬M"x" ↔ Ningún hombre es mortal