命题的逻辑联结词、全称量词与存在量词ha.ppt
《命题的逻辑联结词、全称量词与存在量词ha.ppt》由会员分享,可在线阅读,更多相关《命题的逻辑联结词、全称量词与存在量词ha.ppt(41页珍藏版)》请在三一办公上搜索。
1、第三节 命题的逻辑联结词、全称量词与存在量词,3.对一个命题p全盘否定记作,读作“非p”或“p的否定”.,2.用联结词“或”联结命题p和命题q,记作,读作“”.,一、简单的逻辑联结词1.用联结词“且”联结命题p和命题q,记作,读作“”.,pq,p且q,pq,p或q,4.命题pq,pq,的真假判断.,假,假,假,假,假,真,真,真,真,真,假,真,二、全称量词与存在量词1.全称量词与全称命题(1)短语“”、“”在逻辑中通常叫做全称量词,并用符号“”表示.(2)含有 的命题,叫做全称命题.(3)全称命题“对M中任意一个x,有p(x)成立”可用符号简记为:,读作“”.,所有的,任意一个,全称量词,x
2、M,p(x),对任意x属于M,有p(x)成立,2.存在量词与特称命题(1)短语“”、“”在逻辑中通常叫做存在量词,并用符号“”表示.(2)含有 的命题,叫做特称命题.(3)特称命题“存在M中的一个x0,使p(x0)成立”可用符号简记为:,读作“”.,存在一个,至少有一个,存在量词,存在一个x0属于M,使p(x0)成立,x0M,P(x0),三、含有一个量词的命题的否定,全称命题与特称命题的否定有什么特点?,提示:全称命题的否定是特称命题,特称命题的否定是全称命题.,1.已知命题:p:a20(aR),命题题为真命题的是()A.pqB.pq C.(p)(q)D.(p)q,答案:A,2.命题“存在x0
3、R,0”的否定是()A.不存在x0R,0 B.存在x0R,0 C.对任意的xR,2x0 D.对任意的xR,2x0,答案:D,解析:特称命题的否定是全称命题,故命题的否定是“对任意的xR,2x0”.,3.若“p且q”与“p或q”均为假命题,则()A.p真q假 B.p假q真 C.p与q均真 D.p与q均假,解析:p且q为假,则p与q不可能全真,而 p或q为假,则 p与q均为假,从而p为真,q为假.,答案:A,4.命题“有些负数满足不等式(1x)(19x2)0”用符号“”写 成特称命题为.,答案:xR且x0,5.命题“任意xR,存在mZ,m2mx2x1”是 命题.(填“真”或“假”),解析:由于任意
4、因为只需m2m0,即0m1,所以当m0或m1时,任意xR,m2mx2x1成立,因此命题是真命题.,答案:真,1.对“或”“且”“非”的理解(1)“或”与日常生活中的用语“或”的意义不同.对于逻辑用语“或”的理解我们可以借助于集合中的并集的概念:在 ABx|xA,或xB中的“或”是指“xA”与“xB”中至少有一个成立,可以是“xA且xB”,也可以是“xA且xB”,也可以是“xA且xB”,逻辑用语中的“或”与并集中的“或”的含义是一样的.,(2)对“且”的理解,可以联想到集合中的交集的概念:在 ABx|xA,且xB中的“且”是指“xA”、“xB”都要满足的意思,即x既要属于集合A,又要属于集合B.
5、(3)对“非”的理解,可以联想到集合中的补集的概念:若将 命题p对应集合P,则命题非p就对应着集合P在全集U中 的补集UP.对于非的理解,还可以从字意上来理解,“非”本身就具有否定的意思.一般地,写一个命题的否 定,往往需要对正面叙述的词语进行否定.,2.“pq”、“pq”、“p”形式命题真假的判断步骤(1)确定命题的构成形式;(2)判断其中命题p、q的真假;(3)确定“pq”、“pq”、“p”形式命题的真假.,写出由下列各组命题构成的“pq”、“pq”、“p”形 式的复合命题,并判断真假.(1)p:平行四边形的对角线相等;q:平行四边形的对角线 互相垂直;(2)p:方程x2x10的两实根符号
6、相同;q:方程x2x10的两实根的绝对值相等.,(1)利用“或”、“且”、“非”把两个命题联结成新命题;(2)根据命题p和命题q的真假判断复合命题的真假.,【解】(1)pq:平行四边形的对角线相等或互相垂直.假命题.pq:平行四边形的对角线相等且互相垂直.假命题.p:有些平行四边形的对角线不相等.真命题.(2)pq:方程x2x10的两实根符号相同或绝对值相等.假命题.pq:方程x2x10的两实根符号相同且绝对值相等.假命题.p:方程x2x10的两实根符号不相同.真命题.,1.已知命题p:xR,使tanx1,命题q:x23x20的解 集是x|1x2,下列结论:命题“p q”是真命题;命题“p q
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题 逻辑 联结 全称 量词 存在 ha
链接地址:https://www.31ppt.com/p-6556196.html