formula_100"x" (P"x" /\ M"x") Existe algún "x" para el que P"x" /\ M"x" ↔ Algún hombre es mortal