2018-2019学年人教A版选修2-1 1.4.2 存在量词 课件(12张)
2018-2019学年人教A版选修2-1 1.4.2 存在量词 课件(12张)第3页

 短语“存在一个”、“至少有一个”、“有些”、“有一个”、“对某个”、“有的”在逻辑中通常叫做存在量词。

特称命题“存在M中的一个x,使p(x)成立”可用符号简记为∃x∈M,p(x).

一.特称命题

1. 存在量词及表示:

定义:

用符号“∃”表示,

含有存在量词的命题,叫做特称命题.

表示:

2.特称命题及表示:

定义:

表示:

读作:“存在一个x属于M,使p(x)成立”.