命题及其关系课件_第1页
命题及其关系课件_第2页
命题及其关系课件_第3页
命题及其关系课件_第4页
命题及其关系课件_第5页
已阅读5页,还剩12页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、,1.1.3四种命题的相互关系,教学要求,1、使学生理解并初步掌握四种命题及其关系。,2、能正确叙述一个命题的其它三种命题。,3、熟知四种命题的真假关系,理解两个互为逆否的命题是等价命题。,4、初步掌握反证法证明思想和证明步骤。,、互否命题:如果第一个命题的条件和结论是第二个命题的条件和结论的否定,那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题,那么另一个叫做原命题的否命题。,、互为逆否命题:如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题。,、互逆命题:如果第一个命题的条件(或题设)是第二个命题的结论,且第一个命题的结论是第二个命题

2、的条件,那么这两个命题叫互逆命题。如果把其中一个命题叫做原命题,那么另一个叫做原命题的逆命题。,三个概念,若p则q,逆否命题:,原命题:,逆命题:,否命题:,若q则p,若p则q,若q则p,你能说出其中任意两个命题之间的关系吗?,1、四种命题之间的关系,原命题若p则q,逆命题若q则p,否命题若p则q,逆否命题若q则p,互逆,互否,互否,互逆,互为逆否,2)原命题:若a=0,则ab=0。,逆命题:若ab=0,则a=0。,否命题:若a0,则ab0。,逆否命题:若ab0,则a0。,(真),(假),(假),(真),(真),2.四种命题的真假,看下面的例子:,1)原命题:若x=2或x=3,则x2-5x+6

3、=0。,逆命题:若x2-5x+6=0,则x=2或x=3。,否命题:若x2且x3,则x2-5x+60。,逆否命题:若x2-5x+60,则x2且x3。,(真),(真),(真),3)原命题:若ab,则ac2bc2。,逆命题:若ac2bc2,则ab。,否命题:若ab,则ac2bc2。,逆否命题:若ac2bc2,则ab。,(假),(真),(真),(假),一般地,四种命题的真假性,有而且仅有下面四种情况:,想一想?,(2)若其逆命题为真,则其否命题一定为真。但其原命题、逆否命题不一定为真。,由以上三例及总结我们能发现什么?,(1)原命题为真,则其逆否命题一定为真。但其逆命题、否命题不一定为真。,总结:,原

4、命题与逆命题未必同真假.原命题与否命题未必同真假.原命题与逆否命题一定同真假.原命题的逆命题与原命题的否命题一定同真假.,几条结论:,练一练,1.判断下列说法是否正确。,1)一个命题的逆命题为真,它的逆否命题不一定为真;,(对),2)一个命题的否命题为真,它的逆命题一定为真。,(对),2.四种命题真假的个数可能为()个。,答:0个、2个、4个。,如:原命题:若AB=A,则AB=。,逆命题:若AB=,则AB=A。,否命题:若ABA,则AB。,逆否命题:若AB,则ABA。,(假),(假),(假),(假),3)一个命题的原命题为假,它的逆命题一定为假。,(错),4)一个命题的逆否命题为假,它的否命题

5、为假。,(错),例题讲解,例1:设原命题是:当c0时,若ab,则acbc.写出它的逆命题、否命题、逆否命题。并分别判断它们的真假。,解:逆命题:当c0时,若acbc,则ab.,否命题:当c0时,若ab,则acbc.,逆否命题:当c0时,若acbc,则ab.,(真),(真),(真),分析:“当c0时”是大前提,写其它命题时应该保留。,原命题的条件是“ab”,,结论是“acbc”。,例2若m0或n0,则m+n0。写出其逆命题、否命题、逆否命题,并分别指出其假。,分析:搞清四种命题的定义及其关系,注意“且”“或”的否定为“或”“且”。,解:逆命题:若m+n0,则m0或n0。,否命题:若m0且n0,则

6、m+n0.,逆否命题:若m+n0,则m0且n0.,(真),(真),(假),小结:在判断四种命题的真假时,只需判断两种命题的真假。因为逆命题与否命题真假等价,逆否命题与原命题真假等价。,分析:将“若p2q22,则pq2”看成原命题。由于原命题和它的逆否命题具有相同的真假性,要证原命题为真命题,可以证明它的逆否命题为真命题。,Ex:用反证法证明:如果ab0,那么.,反证法的步骤:(1)假设命题的结论不成立,即假设结论的反面成立(2)从这个假设出发,通过推理论证,得出矛盾(3)由矛盾判定假设不正确,从而肯定命题的结论正确,Ex若a2能被2整除,a是整数,求证:a也能被2整除.,证:假设a不能被2整除,则a必为奇数,故可令a=2m+1(m为整数),由此得a2=(2m+1)2=4m2+4m+1=

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论