2017-2018学期高中数学 第一章 常用逻辑用语 1 命题（二） 北师大版选修2-1.pptVIP

类型三　反证法的应用 证明 假设a，b，c都不大于0， 即a≤0，b≤0，c≤0，则a＋b＋c≤0. ＝(x－1)2＋(y－1)2＋(z－1)2＋π－3. ∵π－30，且(x－1)2＋(y－1)2＋(z－1)2≥0， ∴a＋b＋c0，这与a＋b＋c≤0矛盾， 因此a，b，c中至少有一个大于0. (1)求解此类含有“至少”“至多”等命题，常利用反证法来证明.用反证法证明命题的一般步骤：①假设命题的结论不成立，即假设结论的反面成立；②从这个假设出发，经过推理论证，得出矛盾；③由矛盾得出假设不正确，从而肯定命题的结论正确. 反思与感悟 第一章　常用逻辑用语 §1　命　题(二) 学习目标 1.了解四种命题的概念，会写出所给命题的逆命题、否命题和逆否命题. 2.认识四种命题之间的关系以及真假性之间的联系. 3.会利用命题的等价性解决问题. 题型探究 问题导学 内容索引 当堂训练 问题导学 思考　 知识点一　四种命题的概念 初中已学过命题与逆命题的知识，什么叫作命题的逆命题？ 在两个命题中，如果第一个命题的条件是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫作互为逆命题. 答案 梳理 名称 阐释 互为逆命题 对于两个命题，如果一个命题的条件和结论分别是另一个命题的 ，那么我们把这样的两个命题叫作互为逆命题.如