《高二数学选修2-1四种命题的关系及全称量词与存在量词ppt.pptVIP

回顾 交换原命题的条件和结论，所得的命题是________ 同时否定原命题的条件和结论，所得的命题是________ 交换原命题的条件和结论，并且同时否定，所得的命题是__________ 原命题,逆命题,否命题,逆否命题 四种命题形式: 原命题: 逆命题: 否命题: 逆否命题: 若 p, 则 q 若 q, 则 p 若┐p, 则┐q 若┐q, 则┐p 反证法： 要证明某一结论A是正确的，但不直接证明，而是先去证明A的反面（非A）是错误的，从而断定A是正确的。 即反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论，完成命题的论证的一种数学证明方法。 反证法的步骤： 假设命题的结论不成立，即假设结论的反面成立。 从这个假设出发，通过推理论证，得出矛盾。 由矛盾判定假设不正确，从而肯定命题的结论正确。 例 证明：若p2＋q2＝2，则p＋q≤2. 将“若p2＋q2＝2，则p＋q≤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、设集合S={四边形}，p(x)：内角和为 。试用不同的表述写出全称命题 解：对所有的四边形x，x的内角和为 ； 对一切四边形x，x的内角和为 ； 每一个四边形x，x的内角和为 ； 凡是四边形x，x的内角和为 。 2、设q(x): 适用不同的表达方式写出特称命题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题的否定形式有： 原命题 否定形式 是 不是 都是 不都是 至少有一个 一个也没有 至多有一个 至少有两个 对任意x A 使p(x)真 存在x A 使p(x)假 复习回顾 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 情景一 设p:“平行四边形是矩形” (1)命题p是真命题还是假命题 (2)请写出命题p的否定形式 (3)判断?p的真假 命题的否定的真值与原来的命题 . 而否命题的真值与原命题 . 相反 无关 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 设p:“平行四边形是矩形” 情景一 你能否用学过的“全称量词和存在量词”来解决上述问题 可以在“平行四边形是矩形”的前面加上全称量词，变为 p:“所有的平行四边形是矩形” ?p:“不是所有的平行四边形是矩形” 也就是说“存在至少一个平行四边形它不是矩形” 所以，?p : “存在平行四边形不是矩形” 假命题 真命题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 情景二 对于下列命题： 所有的人都喝水； 存在有理数，使 ； 对所有实数都有 。 尝试对上述命题进行否定，你发现有什么规律？ 想一想？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.