1.1.2命题的相互关系要点.ppt

常用逻辑用语 ;1．掌握四种命题的相互关系． 2．用反证法证明一些简单问题．;基础梳理;2．反证法是我们常用的一种证明方法．用反证法证明命题的一般步骤为： (1)假设命题的结论不成立，即假设命题的结论的反面成立． (2)从这一假设出发，经过一系列的推理论证得出矛盾． (3)由矛盾判断假设不对，从而肯定命题的结论正确． 3．用反证法证明“若p则q”时，导出结果的几种情况： (1)导出非p为真，即与命题的条件矛盾； (2)导出q为真，即与假设“非q为真”矛盾； (3)导出一个恒假命题，即与定义、定理、公理矛盾； (4)导出自相矛盾的命题．;自测自评;2．命题“若f(x)是奇函数，则f(－x)是奇函数”的否命题是(　　) A．若f(x)是偶函数，则f(－x)是偶函数 B．若f(x)不是奇函数，则f(－x)不是奇函数 C．若f(－x)是奇函数，则f(x)是奇函数 D．若f(－x)不是奇函数，则f(x)不是奇函数;;跟踪训练;;跟踪训练;;跟踪训练;;解析：(1)命题的否定：若x、y都是奇数，则x＋y不是偶数，为假命题． 原命题的否命题：若x、y不都是奇数，则x＋y不是偶数，是假命题． (2)命题的否定：若xy＝0，则x≠0且y≠0，为假命题． 原命题的否命题：若xy≠0，则x≠0且y≠0，是真命题． (3)命题的否定：若一个数是质数，则这个数不是奇数，是假命题． 原命题的否命题：若一个数不是质数，则这个数不是奇数，为假命题．;跟踪训练;一、选择填空题 1．下列命题中________为真命题． ①“若x2＋y2＝0，则x，y全为0”的否命题， ②“全等三角形是相似三角形”的逆命题， ③“圆内接四边形对角互补”的逆否命题． 2．集合A＝{x|x＝2k，k∈Z}，B＝{x|x＝2k＋1，k∈Z}， C＝{x|x＝4k＋1，k∈Z}，又a∈A，b∈B，则有(　　) A．a＋b∈A B．a＋b∈B C．a＋b∈C D．a＋b不属于A，B，C中的任意一个;1．当所给的命题中题设的信息量很少时宜用反证法． 2．当命题的结论以否定的形式出现时，如命题中出现“不大于”、“不存在”、“不可能”等词语宜用反证法． 3．唯一性的命题，或有“至多”、“至少”等形式的命题宜用反证法． 4．“或”否定是“且”；“存在”的否定是“任意”． 5．命题与命题的否定是真假相反，而原命题??否命题可以同真假．;祝