2019-2020学年苏教版选修2-1第1章 1.3 全称量词与存在量词 课件
2019-2020学年苏教版选修2-1第1章 1.3 全称量词与存在量词 课件第3页

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

∃x

存在量词

∃x∈M,p(x)