四种命题的真假关系.doc

任课教师白杰授课班级高二(9)、(10)班授课日期10.8教学课题：四种命题的真假关系教学目标：1，正确理解四种命题之间的真假关系；2，会应用它们之间的真假关系处理问题；3，培养学生逻辑推理能力。教学方法：讲授法、讲练结合、探究法、自学法教学重点：正确理解四种命题之间的真假关系教学难点：会应用它们之间的真假关系处理问题教学用具：PPT教学内容师生活动备注复习回顾1四种命题的形式是什么？2四种命题的基本关系是什么？引例1：写出下列命题的逆命题，否命题和逆否命题，并判断它们的真假：(1)若xx；(2)若a=0，则ab=0；(3)当xR时，若f(x)过原点，则f(x)是奇函数。解：(1)原命题：若xx； 真逆命题：若yx，则x0,则方程x2+2x-k=0有实根”的逆否命题; “全等三角形的面积相等”的否命题; “若ab0,则a0”的否命题.其中真命题的个数是( C )A.0个 B.1个 C.2个 D.3个评注：真命题为： 逆命题为：三个内角为600的三角形为等边三角形；原命题为真，所以逆否命题为真；否命题为：若两个三角形不是全等三角形，则它们的面积不相等；否命题为：若ab=0，则a=0。5命题“若x=3，则x2-9x+18=0”的逆命题，否命题和逆否命题中，假命题的个数为（ C ）A0个 B1个 C2个 D3个评注：（1）逆命题：若x2-9x+18=0，则x=3；假 （2）否命题：若x3，则x2-9x+180；假 （3）逆否命题：若x2-9x+180，则x3；真6写出下列命题的逆命题，否命题和逆否命题，并判断真假。(1)若m0或n0,则m+n0；(2)已知a，b是实数，若a+b是无理数，则a，b都是无理数；(3)若x2+y2=0,则x，y全为零。答案：(1)逆命题：若m+n0，则m0或n0；真否命题：若m0且n0,则m+n0；真 逆否命题：若m+n0,则m0且n0；假(2)逆命题：已知a，b是实数，若a，b都是无理数，则a+b是无理数；假 （）否命题：已知a，b是实数，若a+b不是无理数，则a，b不都是无理数；假 (此时两个数都不是无理数)逆否命题：已知a，b是实数，若a，b不都是无理数，则a+b不是无理数；假(3)逆命题：若x，y全为零，则x2+y2=0；真 否命题：若x2+y20,则x，y不全为零；真 逆否命题：若x，y不全为零，则x2+y20；真评注：“全为零”的否定应该是“不全为零”，而不是“全不为零”；“都是”的否定为“不都是”，而不是“都不是”；“均为”的否定是“不均为”。注意掌握一些关键词的否定。（如图所示，x,y全为零的否定即是它的补集，不全为零。）二关键词的否定关键词否定大（小）于不大（小）于是不是全为不全为都是不都是有无任何某些所有的有一个至少一个一个也没有至多一个至少两个均为不均为p或qp且qp且qp或q引例2：证明：若x2+y2=0，则x=y=0。分析：将“若x2+y2=0，则x=y=0”视为原命题，要证明原命题为真命题，则可以证明它的逆否命题“若x和y至少有一个不等于0，则x2+y20”是真命题，因此我们可以由“若x和y至少有一个不等于0”出发，经过正确的推理得到一个结论m，此时逆否命题是我们经过严格推理得到的，因此一定是正确的，若m与x2+y2=0矛盾的结论，恰好我们得到的是逆否命题，又因为逆否命题一定是正确的，所以原命题也正确。证明：假设x,y至少有一个不等于0，不妨设x0，则x20，所以x2+y20，这与已知条件矛盾，所以x=y=0。小结：(1)应用间接法证明的原理：证明原命题的逆否命题是真命题。(2)应用间接法证明的一般步骤：求证：若p则q。假设原命题的结论不成立即q，作为逆否命题的条件；从逆否命题的条件q出发进行一系列的推理，得到某个结论m，此时说明若q则m一定是正确的，因为我们是经过推理的；若m与已知条件矛盾即m=p，恰好就是原命题条件的否定，也就是说我们得到的正确命题恰好是原命题的逆否命题，所以原命题正确。(3) 适宜用反证法证明的数学命题：结论本身是以否定形式出现的命题；有关结论是以“至多.”或“至少”的形式出现的命题；关于唯一性，存在性的命题；结论的反面比原结论更具体更容易研究的命题。例1：求证：若ab0，则。证明：假设不大于，那么，或者=因为ab0，所以（1）所以同时所以ab；（2）=所以a=b。这些都与已知条件ab0矛盾，所以。评述：矛盾的出现是在推理过程中与已知条件矛盾了。说明：1上面的间接法就是以前的反证法；2针对若p则q的命题，利用反证法证明时，由q推出p很明显，也很能说明反证法的原理就是逆否命题和原命题同真的原理；3但是对于一些诸如“证明是无理数”这些命题，没有明显的若p则q的形式，也可以利用反证法证明，同时原理也是逆否命题的原理，只不过我们看不到明显的条件和结论，此时我们将反证法的一般步骤可以推广如下：应用反证法证明的一般步骤：（1）假设命题的结论不成立即提出命题的否定；（2）进行一系列的推理