《命题与证明(2)》教学课件.ppt
《《命题与证明(2)》教学课件.ppt》由会员分享,可在线阅读,更多相关《《命题与证明(2)》教学课件.ppt(24页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、命题与证明本课内容本节内容2.2证明与定理证明与定理 下列命题哪些正确?哪些错误?下列命题哪些正确?哪些错误?说一说说一说(1),(),(2)()(3)是错的是错的,(4)是正确的是正确的.(1 1)每一个月都有)每一个月都有3131天;(天;(2 2)如果)如果a是有理数,是有理数,那么那么a是整数是整数.(3 3)同位角相等;)同位角相等;(4 4)同角的补角相等同角的补角相等.结论结论 我们把正确的命题称为我们把正确的命题称为真命题真命题,把错误的命题称为把错误的命题称为假命题假命题判断下列命题是真命题还是假命题判断下列命题是真命题还是假命题(1)相等的角是对顶角相等的角是对顶角(2)内
2、错角相等内错角相等(3)大于大于90度的角是平角度的角是平角(4)如果如果ab,bc,那么,那么ac真命题真命题假命题假命题假命题假命题假命题假命题举举例例1、同旁内角互补,两直线平行同旁内角互补,两直线平行.2、如果两个角都是直角,那么如果两个角都是直角,那么这这两个角相等两个角相等.逆命题:两直线平行,同旁内角互补逆命题:两直线平行,同旁内角互补.真真逆命题:如果两个角相等,那么这两个角是直角逆命题:如果两个角相等,那么这两个角是直角.假假3、如果一个整数的个位数字是如果一个整数的个位数字是5 5,那么,那么这这个整数能被个整数能被5 5整除整除.逆命题:如果一个整数能被逆命题:如果一个整
3、数能被5 5整除,那么这个整数的整除,那么这个整数的 个位数字是个位数字是5.5.假假说出下列命题的逆命题,并判断其逆命题是真命题还是假命题.牛刀小试牛刀小试 像此例那样,从一个命题的条件出发,通过讲道像此例那样,从一个命题的条件出发,通过讲道理理(推理推理),得出它的结论成立,从而判断该命题为真,得出它的结论成立,从而判断该命题为真,这个过程叫作这个过程叫作证明证明.(1)如果如果a是整数,那么是整数,那么a是有理数;是有理数;解解 如果如果a是整数,是整数,根据有理数的定义:根据有理数的定义:“整整数和分数统称为有理数数和分数统称为有理数”,得出得出a是实数是实数.因此命题因此命题(1)为
4、真为真结论结论 像此例像此例那样,找出一个例子,它符合命题的条件,那样,找出一个例子,它符合命题的条件,但它不满足命题的结论,从而判断这个命题为假,这但它不满足命题的结论,从而判断这个命题为假,这个过程叫作个过程叫作举反例举反例.(2)如果)如果a是有理数,那么是有理数,那么a是整数是整数解解 0.50.5是有理数,是有理数,因此命题因此命题(2)为假为假但是但是0.50.5不是整数不是整数.判断下列命题为真命题是根据什么呢?判断下列命题为真命题是根据什么呢?说一说说一说 是分别根据有理数、是分别根据有理数、等腰(等边)三角形的定等腰(等边)三角形的定义作出的判断义作出的判断 (1)如果)如果
5、a是整数,那么是整数,那么a是有理数;是有理数;(2)如果)如果三角形三角形ABCD是是等边三角等边三角形,那么它是形,那么它是等腰等腰三角形三角形 从上面的例子看到,在判断一个命题是否为真命题从上面的例子看到,在判断一个命题是否为真命题时常常要利用一些概念的定义,但是光用定义只能判断时常常要利用一些概念的定义,但是光用定义只能判断一些很简单的命题是否为真一些很简单的命题是否为真.对于绝大多数命题的真假的判断,光用定义是远远对于绝大多数命题的真假的判断,光用定义是远远不够的,那么除了根据定义外,还能根据什么来推理,不够的,那么除了根据定义外,还能根据什么来推理,去判断命题的真假呢?去判断命题的
6、真假呢?动脑筋动脑筋结论结论数学中有些命题的正确性是数学中有些命题的正确性是人们在长期人们在长期实践中总实践中总结结出来的,并把它们作为判断其他命题真假的原出来的,并把它们作为判断其他命题真假的原始依据,这样的始依据,这样的真命题叫做真命题叫做真命题叫做真命题叫做基本事实基本事实基本事实基本事实。有些命题可以从公理或其他真命题出发,用逻有些命题可以从公理或其他真命题出发,用逻辑推理的方法判断它们是正确的,并且可以进辑推理的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的一步作为判断其他命题真假的依据,这样的真真真真命题叫做命题叫做命题叫做命题叫做定理。定理。古希腊数学家古
7、希腊数学家欧几里得欧几里得(Euclid,约公元前约公元前330前前275)对他那个时代的数学知识作了系统化的总结,他挑对他那个时代的数学知识作了系统化的总结,他挑选出一些人们在长期实践中总结出来的公认的真命题,选出一些人们在长期实践中总结出来的公认的真命题,作为证明的原始依据,称这些真命题为作为证明的原始依据,称这些真命题为公理公理.欧几里得欧几里得结论结论小知识小知识 欧几里得按照这种方法欧几里得按照这种方法(现在称为公理化方法现在称为公理化方法)编写编写了一本书,书名叫了一本书,书名叫原本原本.全书共分全书共分13卷,包括有卷,包括有5条条公理,公理,5条公设,条公设,119个定义和个定
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题与证明2 命题 证明 教学 课件
限制150内