1.1.3《四种命题的关系》.pptVIP

反证法： 要证明某一结论A是正确的，但不直接证明，而是先去证明A的反面（非A）是错误的，从而断定A是正确的。 即反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论，完成命题的论证的一种数学证明方法。 反证法的步骤： 假设命题的结论不成立，即假设结论的反面成立。 从这个假设出发，通过推理论证，得出矛盾。 由矛盾判定假设不正确，从而肯定命题的结论正确。 例4 证明：若p2＋q2＝2，则p+q≤2. 将“若p2＋q2＝2，则p＋q≤2”看成原命题。由于原命题和它的逆否命题具有相同的真假性，要证原命题为真命题，可以证明它的逆否命题为真命题。 可能出现矛盾四种情况： 与题设矛盾； 与反设矛盾； 与公理、定理矛盾； 在证明过程中，推出自相矛盾的结论。 变式训练1：若a2能被2整除，a是整数，求证：a也能被2整除. 变式训练：若a2能被2整除，a是整数，求证：a也能被2整除. 证：假设a不能被2整除，则a必为奇数， 故可令a=2m+1(m为整数), 由此得 a2=(2m+1)2=4m2+4m+1=4m(m+1)+1, 此结果表明a2是奇数， 这与题中的已知条件（a2能被2整除）相矛盾, ∴a能被2整除. * 郑平正制作 * 1.1.3四种命题的相互关系 高二数学 选修2-1 第一章 常用逻辑用语 至多有n个 小于 对任何x， 不成立 对所有x,成立 至少有n个 大于 至多有一个 都是 至少有一个 是 反设词 原结论 反设词 原结论 准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ? 不是 不都是 不大于 大于或等于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某x， 不成立 存在某x， 成立 想一想？ （2） 若其逆命题为真，则其否命题一定为真。但其原命题、逆否命题不一定为真。 由以上三例及总结我们能发现什么？ 即 原命题与逆否命题同真假。 原命题的逆命题与否命题同真假。 （1） 原命题为真，则其逆否命题一定为真。但其逆命题、否命题不一定为真。 (两个命题为互逆命题或互否命题,它们的真假性没有关系). 几条结论: 四种命题的真假,有且只有下面四种情况: 假 假 假 假 假 真 真 假 真 假 假 真 真 真 真 真 逆否命题 否命题 逆命题 原命题 原命题 若p则q 逆命题 若q则p 否命题 若﹁ p则﹁ q 逆否命题 若﹁ q则﹁p 互为逆否 同真同假 互为逆否 同真同假 互逆命题 真假无关 互逆命题 真假无关 互否命题真假无关 互否命题真假无关 1.判断下列说法是否正确。 1）一个命题的逆命题为真，它的逆否命题不一定为真； （对） 2）一个命题的否命题为真，它的逆命题一定为真。 （对） 2.四种命题真的个数可能为（ ）个。 答：0个、2个、4个。 如：原命题：若A∪B=A, 则A∩B=φ。 逆命题：若A∩B=φ，则A∪B=A。 否命题：若A∪B≠A，则A∩B≠φ。 逆否命题：若A∩B≠φ，则A∪B≠A。 （假） （假） （假） （假） 3）一个命题的原命题为假，它的逆命题一定为假。 （错） 4）一个命题的逆否命题为假，它的否命题为假。 （错） 练一练 总结 推理过程中一定要用到才行 显而易见的矛盾(如和已知条件矛盾). 即证明 为真命题 假设原命题结论的反面成立 看能否推出原命题条件的反面成立 尝试成功 得证 例 4 证明：若p2＋q2＝2，则p+q≤2. 变式训练2：已知 。 求证： * 郑平正制作