存在命題

$ \exist x P(x)