存在量词和特称命题
(1)短语“______________”“________________”在逻辑中通常叫做存在量词，并用符号“________”表示，常见的存在量词还有“有些”“有一个”“对某个”“有的”等．
(2)含有______________的命题，叫做特称命题．
(3)特称命题：“存在M中的一个x₀，有p(x₀)成立”，可用符号简记为 ____________．