- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
优秀文档
优秀文档
PAGE
PAGE9
优秀文档
PAGE
全称量词和存在量词
教导目标
1.通过生活和数学中的丰富实例,理解全称量词与存在量词的意
义;
2.能准确地利用全称量词与存在量词表达数学内容,并断定全称
命题和特称命题的虚实
教导重点及难点
理解全称量词与存在量词的意义,并断定全称命题和特称命题的虚实
教导种类:新授课
教导过程
一. 引入
下列语句是命题吗?
x3;
2x1是整数;⑶对所有的xR,x3;⑷对随便一个xZ,2x1是整数。⑴与⑶、⑵与⑷之间有什么关系?
结论:由命题的界说出发,(1)(2)不是命题,(3)(4)是命题。剖析(3)(4)分辩用短语“对所有的”“对随便一个”对变量x
进行限制,进而使( 3)(4)称为能够断定虚实的语句。
二. 教授新课:
全称量词和全称命题的观点:
①.观点:
短语“所有的”、“随便一个”在逻辑中每每叫做全称量词,用符号“”表示。
含有全称量词的命题,叫做全称命题。比方:
⑴对随便nN,2n1是奇数;⑵所有的正方形都是矩形。常有的全称量词另有:
“一切”、“每一个”、“任给”、“所有的”等。
每每,将含有变量x的语句用px、qx、rx表示,变量x的取值局限用M表示。
全称命题“对M中随便一个x,有px成立”。简记为:xM,px读作:随便x属于M,有px成立。
.例1:断定下列全称命题的虚实:⑴所有的素数都是奇数;
xR,x211;
⑶对每一个无理数 x,x2也是无理数。
(学生练习——各别答复——教师点评并板书)
点评:要断定全称命题的虚实,需要对取值局限 M内的每个元素 x,
证明p(x)是否成立,若成立,则全称命题是真命题,否则为假。
2.存在量词和特称命题的观点
①引入:
下列语句是命题吗?
2x13;
x能被2和3整除;⑶存在一个xR,使2x13;⑷最少有一个xZ,x能被2和3整除。⑴与⑶、⑵与⑷之间有什么关系?
结论:由命题的界说出发,(1)(2)不是命题,(3)(4)是命题剖析(3)(4)分辩用短语“存在一个”“最少有一个”对变量x
进行限制,进而使( 3)(4)称为能够断定虚实的语句。
②观点:
短语“存在一个”、“最少一个”在逻辑中每每叫做存在量词,用符号“”表示。
含有存在量词的命题,叫做特称命题(存在性命题) 。
比方:
⑴有一个素数不是奇数;
⑵有的平行四边形是菱形。
常有的存在量词另有“有些”、“有一个”、“对某个”、“有的”等。特称命题“存在M中的一个x,使px成立”。简记为:xM,px读作:存在一个x属于M,使px成立。
③例1:断定下列存在性命题的虚实:
⑴有一个实数 x,使x2 2x 3 0成立;
⑵存在两个相交平面笔直一致条直线;
⑶有些整数惟有两个正因数。
(学生答复——教师点评并板书)
点评:要断定特称命题是真命题,只要要在取值局限M内找到一个元素x0,使p(x0)成当即可。如果在M中,使p(x0)成立的元素x不存在,则这个特称命题是假命题。
三小结
全称量词,全称命题,存在量词,特称命题的观点及怎样断定全称命题与特称命题的虚实性四.练习:
五.作业:
含有一个量词的命题的否认
教导目标
1.进一步理解全称命题与特称命题的意义;
2.能准确地写出全称命题和特称命题的否认,并掌握其之间的关
系。
教导重点:全称命题和特称命题的否认
教导难点:全称命题与特称命题的否认,及另外们之间的关系
教导种类:新授课
教导过程:
一. 复习引入:
全称命题与特称命题的观点
探究:写出下面命题的否认:
所有的矩形都是平行四边形
1)每一个素数都是奇数
2)xR,x2-2x+1≥0
问:这些命题和它们的否认在模式上有什么变化?
剖析:上面命题都是全称命题,即拥有“ x M,px”的模式。
个中,命题(1)的否认是:“并非所有的矩形都是平行四边形”,也就是说“存在一个矩形不是平行四边形”。
注意区别:(1)的否认不是“所有的矩形都不是平行四边形”,是由于对于原命题,我们只要找到存在一个矩形不是平行四边形就能够否认原命题,而并不消除有另外的矩形是平行四边形。
所以同理,能够得出:命题(2)的否认是:“并非每一个素数都是奇数”,也就是“存在一个素数不是奇数”;
命题(3)的否认是:“并非所有的 x∈R,x2-2x+1≥0”,也就是
说x∈R,x2-2x+1<0。
发现:上述例子中的全称命题的否认都成立特称命题
二.新课教授:
全称命题的否认
①从上述例子能够看出:三个全称命题的否认都成了特称命题。正常来说:对于含有一个量词的全称命题的否认,有下列结论:全称命题p:xM,px
它的否认 p: x M, p(x)
也就是说全称命题的否认是特称命题②例题(教材例3):写出下列全称命题的否认:
1)p:所有能被3整除的整数都是奇数
2)p:每一个平行四边形的四个极点
文档评论(0)