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