18-19版高中数学 第一章 常用逻辑用语 1 命题（二） 选修2-1.ppt

类型三　反证法的应用 证明 假设a，b，c都不大于0， 即a≤0，b≤0，c≤0，则a＋b＋c≤0. ＝(x－1)2＋(y－1)2＋(z－1)2＋π－3. ∵π－3>0，且(x－1)2＋(y－1)2＋(z－1)2≥0， ∴a＋b＋c>0，这与a＋b＋c≤0矛盾， 因此a，b，c中至少有一个大于0. (1)求解此类含有“至少”“至多”等命题，常利用反证法来证明.用反证法证明命题的一般步骤：①假设命题的结论不成立，即假设结论的反面成立；②从这个假设出发，经过推理论证，得出矛盾；③由矛盾得出假设不正确，从而肯定命题的结论正确. 反思与感悟 第一章　常用逻辑用语 §1　命　题(二) 学习目标 1.了解四种命题的概念，会写出所给命题的逆命题、否命题和逆否命题. 2.认识四种命题之间的关系以及真假性之间的联系. 3.会利用命题的等价性解决问题. 题型探究 问题导学 内容索引 当堂训练 问题导学 思考　 知识点一　四种命题的概念 初中已学过命题与逆命题的知识，什么叫作命题的逆命题？ 在两个命题中，如果第一个命题的条件是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫作互为逆命题. 答案 梳理 名称 阐释 互为逆命题 对于两个命题，如果一个命题的条件和结论分别是另一个命题的 ，那么我们把这样的两个命题叫作互为逆命题.如果把其中的一个命题叫作原命题，另一个叫作原命题的 . 互为否命题 对于两个命题，其中一个命题的条件和结论恰好是另一个命题的条件的 和结论的 ，我们把这样的两个命题叫作互为否命题.如果把其中的一个命题叫作原命题，那么另一个叫作原命题的 . 结论和条件 逆命题 否定 否定 否命题 互为逆否命题 对于两个命题，其中一个命题的条件和结论恰好是另一个命题的 ，我们把这样的两个命题叫作互为逆否命题.如果把其中一个命题叫作原命题，那么另一个叫作原命题的 . 结论的否定和条件的否定 逆否命题 思考　 知识点二　四种命题间的相互关系 原命题与其逆命题、否命题、逆否命题之间又是什么关系？ 原命题与其逆命题是互逆关系；原命题与其否命题是互否关系；原命题与其逆否命题是互为逆否关系. 答案 梳理 (1)四种命题间的关系 (2)四种命题间的真假关系 由上表可知四种命题的真假性之间有如下关系： ①两个命题互为逆否命题，它们有 的真假性； ②两个命题为互逆命题或互否命题，它们的真假性 关系. 没有 相同 原命题 逆命题 否命题 逆否命题 真 真 ___ ___ 真 假 ___ ___ 假 真 ___ ___ 假 假 ___ ___ 真 真 假 真 真 假 假 假 知识点三　逆否证法与反证法 1.逆否证法 由于原命题和它的逆否命题具有相同的真假性，所以在直接证明某一命题为真命题有困难时，可以通过证明它的逆否命题为真命题来间接证明原命题为真命题. 2.反证法 (1)反证法的步骤： ①假设命题的结论不成立，即假设结论的反面成立； ②从这个假设出发，经过推理论证，得出矛盾； ③由矛盾判定假设不成立，从而肯定命题的结论成立. (2)反证法导出结果的几种情况： ①导出命题p的否定为真，即与原命题的条件矛盾； ②导出q为真，即与假设“命题q的否定为真”矛盾； ③导出一个恒假命题，即与定义、公理、定理矛盾； ④导出自相矛盾的命题. 3.反证法与逆否证法的联系 (1)依据相同：都是利用原命题与其逆否命题的等价性. (2)起步相同：都是从否定结论出发(入手)； (3)思想相同：都是“正难则反”思想的具体体现. 4.反证法与逆否证法的区别 (1)目的不同：反证法否定结论的目的是推出矛盾，而逆否证法否定结论的目的是推出否定条件； (2)本质不同：逆否证法实质是证明一个新命题(逆否命题)成立，而反证法是把否定的结论作为新的条件连同原有的条件进行逻辑推理，直至推出矛盾，从而肯定原命题的结论. 题型探究 命题角度1　四种命题的写法 例1　把下列命题写成“若p，则q”的形式，并写出它们的逆命题、 否命题与逆否命题. (1)正数的平方根不等于0； 解答 类型一　四种命题的关系及真假判断 原命题：若a是正数，则a的平方根不等于0. 逆命题：若a的平方根不等于0，则a是正数. 否命题：若a不是正数，则a的平方根等于0. 逆否命题：若a的平方根等于0，则a不是正数. (2)当x＝2时，x2＋x－6＝0； 解答 原命题：若x＝2，则x2＋x－6＝0. 逆命题：若x2＋x－