formula_2 se interpreta como ""Existe algún x en el que se cumple Fx"" o ""Algunos hombres son mortales"".