【高中数学课件】简易逻辑与充要条件.ppt_第1页
【高中数学课件】简易逻辑与充要条件.ppt_第2页
【高中数学课件】简易逻辑与充要条件.ppt_第3页
【高中数学课件】简易逻辑与充要条件.ppt_第4页
【高中数学课件】简易逻辑与充要条件.ppt_第5页
已阅读5页,还剩9页未读 继续免费阅读

下载本文档

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

文档简介

,高二00八级数学期末复习课件,1.4简易逻辑与充要条件,天马行空官方博客:,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,1.命题的判断1)非p形式复合命题的真假有如下结论:当p为真时,非p为假,当p为假时,非p为真2)p且q形式复合命题的真假有如下结论:当p、q都为真时,p且q为真;当p、q中至少有一为假时,p且q为假3)p或q形式复合命题的真假有如下结论:当p、q中至少有一为真时,p或q为真;当p、q都为假时,p或q为假.,天马行空官方博客:,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,2.复合命题真假的判断方法.,一真必真,一假必假,真假相反,真值表,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,3.四种命题在两个命题中,如果第一命题的条件(或题设)是第二个命题的结论,且第一个命题的结论是第二个命题的条件,那么这两个命题叫做互逆命题;如果把其中一个命题叫做原命题,那么另一个叫做原命题的逆命题在两个命题中,一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,这样的两个命题叫做互否命题.把其中一个命题叫做原命题,另一个就叫做原命题的否命题.,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,本节课重点讨论研究了四种命题之间的关系及真假判断,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,4.反证法证题的步骤是什么?(1)假设命题的结论不成立,即假设结论的反面成立;(2)从假设出发,经过正确的推理论证,得出矛盾;(3)由矛盾判定假设不正确,从而肯定命题的结论正确.,反证法是一种间接证明命题的基本方法。在证明一个数学命题时,如果运用直接证明法比较困难或难以证明时,可运用反证法进行证明反证法的基本思想:通过证明命题的否定是假命题,从而说明原命题是真命题,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,5.充分条件与必要条件一般地,如果已知pq,那么就说:p是q的充分条件;q是p的必要条件由上述定义中,“pq”即如果具备了条件p,就足以保证q成立,所以p是q的充分条件,这点容易理解。但同时说q是p的必要条件是为什么呢?不很理解的较多,特别是q是结论,怎么又变为条件呢?应注意条件和结论是相对而言的由“pq”等价命题是“qp”,即若q不成立,则p就不成立,故q就是p成立的必要条件了.但还必须注意,q成立时,p可能成立,也可能不成立,即q成立不保证p一定成立,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,一般地,如果既有pq,又有qp,就记作:pq.“”叫做等价符号。pq表示pq且qp这时p既是q的充分条件,又是q的必要条件,则p是q的充分必要条件,简称充要条件,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,1)若A=B且B推不出A,则A是B的充分非必要条件.2)若A推不出B且B=A,则A是B的必要非充分条件.,3)若A=B且B=A,则A是B的充要条件.4)若A推不出B且B推不出A,则A是B的既不充分条件,也必要的条件.,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,3.若A=B且B=A,则A是B的充要条件.4.若A推不出B且B推不出A,则A是B的既不充分条件,也必要的条件.,天马行空官方博客:,1.4简易逻辑与充要条件,高2008级数学复习课件,四种命题,原命题,若p则q,逆命题,若q则p,互逆,否命题,若p则q,互否,逆否命题,若q则p,互为逆否,互逆,互否,互为逆否,注:1、常见关键词的否定,且,存在,至少有两个,一个也没有,(),不都是(全是),不是,否定,或,任意,至多有一个,至少有一个,(),都是(全是),是,关键词,注:2、充要条件判断方法,定义法,等价法,利用命题的逆否命题,集合法,则A是B充分条件;,则B是A必要条件.,则A是B的必要条件.,的真假判断方法,简易逻辑,反证法,逻辑联结词,四种命题,充要条件,或、且、非,p、q中至少有一个为真时,命题p或q为真,否则为假.,p且q、,非p,p或q、,p、q中两个均为真时,命题p且q为真,否则为假.,p为真时,非p为假;p为假时,非p为真.,则A是B的充分条件,B是A的必要条件;,则A是B的充要条件或B是A的充要条件.,步骤,反设:假设命题的结论不成立;,归谬:从假设出发,推理,得出矛盾;,结论:判断假设不正确,肯定命题正确.,判

温馨提示

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

评论

0/150

提交评论