2．存在量词与存在性命题 (1)存在量词 “有一个”、“有些”、“存在一个”等表示部分的量词在逻辑中称为存在量词，通常用符号“____________”表示“存 在x”． (2)存在性命题 含有____________的命题称为存在性命题． 存在性命题的形式：“存在集合M中的元素x,p(x)”的命题，记为：__________________．其中M为给定的集合，p(x)是一个含有x的语句．

∃x

存在量词

∃x∈M，p(x)