命题的相互关系教学课件.pptVIP

常用逻辑用语1.1命题及其关系1.1.2命题的相互关系1．掌握四种命题的相互关系．2．用反证法证明一些简单问题．基础梳理1．互为逆否关系的命题是等价命题，即原命题与逆否命题同真同假；逆命题与否命题同真同假．但原命题与逆命题、否命题都不等价；当一个命题的真假不易判断时，可考虑判断其等价命题的真假．例：命题“若x≠y，则sinx≠siny”的等价命题是：“________________________”，这是一个假命题，故原命题也是一个假命题．若sinx＝siny，则x＝y2．反证法是我们常用的一种证明方法．用反证法证明命题的一般步骤为：(1)假设命题的结论不成立，即假设命题的结论的反面成立．(2)从这一假设出发，经过一系列的推理论证得出矛盾．(3)由矛盾判断假设不对，从而肯定命题的结论正确．3．用反证法证明“若p则q”时，导出结果的几种情况：(1)导出非p为真，即与命题的条件矛盾；(2)导出q为真，即与假设“非q为真”矛盾；(3)导出一个恒假命题，即与定义、定理、公理矛盾；(4)导出自相矛盾的命题．自测自评1．下列说法，不正确的是()A．“若p，则q”与“若q，则p”是互逆命题B．“若綈p，则綈q”与“若q，则p”是互否命题C．“若綈p，则綈q”与“若p，则q”是互否命题D．“若綈p，则綈q”与“若q，则p”是互为逆否命题B2．命题“若f(x)是奇函数，则f(－x)是奇函数”的否命题是()A．若f(x)是偶函数，则f(－x)是偶函数B．若f(x)不是奇函数，则f(－x)不是奇函数C．若f(－x)是奇函数，则f(x)是奇函数D．若f(－x)不是奇函数，则f(x)不是奇函数BD四种命题的应用写出命题“若ab≤0，则a≤0或b≤0”的逆命题、否命题、逆否命题，并判断真假．分析：要判断一个命题的其他三种命题的真假，可以分别写出其逆命题、否命题、逆否命题，再判断其真假；也可以利用它们之间的等价关系，由一个命题的真假推断出另一个命题的真假．解析：逆命题：若a≤0或b≤0，则ab≤0，假命题．否命题：若ab0，则a0且b0，假命题．逆否命题：若a0且b0，则ab0，真命题．跟踪训练1．判断下列命题的逆命题、否命题、逆否命题的真假．(1)当c0时，若ab，则acbc；(2)若ab≤0，则a≤0或b≤0.解析：(1)由于原命题与其逆命题“当c0时，若acbc，则ab”均为真命题，因此它的否命题与逆否命题也为真命题．(2)其逆命题“若a≤0或b≤0，则ab≤0”为假命题，其否命题与逆命题等价；其逆否命题“若a＞0且b＞0，则ab＞0”为真命题．所以其逆命题与否命题为假，而逆否命题为真．四种命题真假的判断写出下列命题的等价命题并判断真假．①若x＋y≠3，则x≠1或y≠2；②如果a·b≠a·c，则b≠c(a，b∈R)．解析：①：若x＝1且y＝2，则x＋y＝3，真命题．②：如果b＝c，则a·b＝a·c，真命题．跟踪训练2．一个命题与它的逆命题、否命题、逆否命题这4个命题中()A．真命题与假命题的个数相同B．真命题的个数一定是奇数C．真命题的个数一定是偶数D．真命题的个数可能是奇数，也可能是偶数C逆否命题的应用设{an}，{bn}是公比不相等的两个等比数列，cn＝an＋bn，证明：数列{cn}不是等比数列．证明：设{an}，{bn}的公比分别为p，q，p≠q，假设{cn}是等比数列，则c1c3＝c22，即(a1＋b1)(a3＋b3)＝(a2＋b2)2?(p－q)2＝0?p＝q.这与已知p≠q相矛盾．故{cn}不是等比数列．跟踪训练3．求证：在一个三角形中，如果两个角不等，那么它们所对的边也不等．证明：假设在一个三角形中，这两个角所对的边相等，那么根据等边对等角，它们所对的两个角也相等，这与已知条件相矛盾，说明假设不成立，所以在一个三角形中，如果两个角不等，那么它们所对的边也不等．命题的否定与否命题写出下列各命题的否定及其否命题，并判断它们的真假．(1)若x、y都是奇数，则x＋y是偶数；(2)若xy＝0，则x＝0或y＝0；(3)若一个数是质数，则这个数是奇数．解析：(1)命题的否定：若x、y都是奇数，则x＋y不是偶数，为假命题．原命题的否命题：若x、y不都是奇数，则x＋y不是偶数，是假命题．(2)命题的否定：若xy＝0，则x≠0且y≠0，为假命题．原命题的否命题：若xy≠0，则x≠0且y≠0，是真命题．(3)命题的否定：若一个数是质数，则这个数不是奇数，