集合与常用逻辑用语1-2命题、量词、逻辑联结词.ppt
《集合与常用逻辑用语1-2命题、量词、逻辑联结词.ppt》由会员分享,可在线阅读,更多相关《集合与常用逻辑用语1-2命题、量词、逻辑联结词.ppt(39页珍藏版)》请在三一办公上搜索。
1、重点难点重点:四种命题的关系及命题的否定全称量词与存在量词使用上的区别难点:逻辑联结词“或”、“且”的含义及命题的否定形式与否命题的区别全称量词与存在量词的区别运用,知识归纳1命题(1)用语言、符号或式子表达的,可以判断真假的语句叫做命题判断为真的为真命题,判断为假的为假命题(2)把一个命题表达为“若p,则q”的形式,则p叫做命题的条件,q叫做命题的结论,2四种命题(1)如果一个命题的条件和结论分别是另一个命题的结论和条件,那么这两个命题叫做互逆命题,其中一个叫做原命题,则另一个叫做原命题的逆命题(2)如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,那么这两个命题叫做互否命题
2、,其中一个叫做另一个的否命题,(3)如果一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题把其中一个叫做原命题,则另一个叫做原命题的逆否命题一般地,用p和q分别表示原命题的条件和结论,用綈p和綈q分别表示p和q的否定于是四种命题的形式及关系为:,互为逆否的命题等价(同真同假),互逆(或互否)的两个命题的真假性没有关系3逻辑联结词1)逻辑联结词或:若pq成立,则p与q至少一个成立且:若pq成立,则p与q均成立非:对一个命题的否定命题p的否定记作綈p.2)不含逻辑联结词的命题叫做简单命题;由简单命题与逻辑联结词构成的命题,叫做复合命题,3)复合命题的真假可
3、通过下面的表来加以判定:记忆方法为:一真“或”为真,一假“且”为假,4全称量词与存在量词(1)全称量词:短语“所有的”、“任意一个”在陈述句中表示所述事物的全体、在逻辑中通常叫做全称量词,用“”表示(2)全称命题:含有全称量词的命题叫全称命题(3)存在量词:短语“有一个”、“有些”、“至少有一个”在陈述句中表述事物的个体或部分,在逻辑中通常叫存在量词用“”表示(4)存在性命题:含有存在量词的命题叫存在性命题,(5)含有一个量词的命题的否定:全称命题p:xM,p(x);它的否定綈p:“xM,綈p(x)”是存在性命题存在性命题p:“xM,p(x)”;它的否定綈p:“xM,綈p(x)”是全称命题,误
4、区警示1已知命题p、q,写出复合命题“p或q”,“p且q”时,一定注意所写命题要符合真值表2“否命题”与“命题的否定”不是同一概念“否命题”是对原命题“若p则q”既否定其条件,又否定其结论;而“命题p的否定”即非p,只是否定命题p的结论3注意对全称命题的否定与存在性命题的否定的区别全称命题的否定是存在性命题,存在性命题的否定是全称命题,4讨论原命题的逆命题、否命题、逆否命题是在命题为“若p,则q”形式或可改写为这种形式的前提下进行的不具备这种形式的命题讨论其逆、其否是没有意义的故复习本章内容一定要紧扣概念,解题技巧要肯定一个全称命题是真命题,须对所有可能情形予以考察,穷尽一切可能,但要说明一个
5、全称命题是假命题,只须举一个反例即可,例1给出两个命题,p:|x|x的充要条件是x为正实数;q:存在反函数的函数一定是单调函数则下列复合命题中真命题是()Ap且qBp或qC綈p且q D綈p或q,解析:因为x0时,|x|x,所以命题p是假命题又因为存在反函数的函数不一定是单调函数(如y),所以命题q也是假命题,由此得綈p真,q假故选D.答案:D点评:(1)判断命题的真假,要先区分是存在性命题还是全称命题(2)判断一个全称命题的真假,若考察了所有可能情况皆成立时,为真命题若存在一种情形使该命题不成立,则该命题为假命题(3)复合命题的真假判断可根据真值表进行判断,(2010北京市东城区)下列四个命题
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 集合 常用 逻辑 用语 命题 量词 联结
链接地址:https://www.31ppt.com/p-6033495.html