1 / 49
文档名称:

1.3简单的逻辑联结词、全称量词与存在量词.ppt

格式:ppt   页数:49
下载后只包含 1 个 PPT 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

1.3简单的逻辑联结词、全称量词与存在量词.ppt

上传人:wz_198613 2014/9/15 文件大小:0 KB

下载得到文件列表

1.3简单的逻辑联结词、全称量词与存在量词.ppt

文档介绍

文档介绍:第3课时简单的逻辑联结词、全称量词与存在量词

(1)一般地,用联结词“”把命题p和q联结起来,得到一个新命题,记作,读作“”.
(2)一般地,用联结词“或”把命题p和q联结起来,得到一个新命题,记作,读作“”.
(3)一般地,对一个命题p全盘否定,得到一个新命题,记作,读作.
基础知识梳理
p∧q

p且q
p∨q
p或q
¬p
“非p”或“p的否定”
(4)简单复合命题的真值表:
基础知识梳理
p
q
p∧q
p∨q
¬p




















否命题与命题的否定是否相同?
【思考·提示】否命题与命题的否定不是同一概念,否命题是对原命题“若p则q”既否定其条件,又否定其结论;而命题p的否定即非p,只是否定命题的结论.
基础知识梳理
思考?

(1)全称量词有:所有的,任意一个,任给,用符号“”表示.
存在量词有:存在一个,至少有一个,有些,用符号“”表示.
(2)含有全称量词的命题,叫做
;“对M中任意一个x,有p(x)成立”,可用符号简记为,读作“对任意x属于M,有p(x)成立”.
基础知识梳理


全称命题
∀x∈M,p(x)
(3)含有存在量词的命题,叫做特称命题;“存在M中的元素x0,使p(x0)成立”,可用符号简记为,读作:“存在M中的元素x0,使p(x0)成立”.
基础知识梳理
∃x0∈M,p(x0)

基础知识梳理
命题
命题的否定
∀x∈M,p(x)
∃x0∈M,p(x0)
∃x0∈M,¬p(x0)
∀x∈M, ¬p(x)
全称命题与特称命题的否定有什么关系?
【思考·提示】全称命题的否定是特称命题,特称命题的否定是全称命题.
基础知识梳理
思考?
( )

B.∀x∈R,x2+x+1<0


答案:C
三基能力强化
,其中为真命题的是( )
A.∀x∈R,x2+3<0
B.∀x∈N,x2≥1
C.∃x∈Z,使x5<1
D.∃x∈Q,x2=3
答案:C
三基能力强化