formula_99"x" (P"x" → M"x") Para todo "x" si P"x" entonces M"x" ↔ Todos los hombres son mortales