2.(1)短语“____________”“____________”在逻辑中通常叫 做存在量词,用符号“________”表示.含有存在量词的命题, 叫做______________.
(2)特称命题“存在 M 中的一个 x0,使 p(x0)成立”可用符号简
记为______________.
注意:常见的存在量词还有“有些”“有一个”“对某个”
“有的”等.
存在一个
至少有一个
特称命题