2017年高考数学（理）一轮复习专题03 充分条件、必要条件与命题的四种形式（教学案）含解析.docVIP

专题03 充分条件、必要条件与命题的四种形式（教学案） 2017年高考数学（理）一轮复习精品资料 1.充分理解逻辑联结词的含义，注意和日常用语的区别； 2.对量词的练习要在“含一个量词”框架内进行，不要随意加深； 3.注意逻辑与其他知识的交汇． 1．充分条件、必要条件与充要条件 (1)“若p，则q”形式的命题为真时，记作p?q，称p是q的充分条件，q是p的充要条件． (2)如果既有p?q，又有q?p，记作p?q，则p是q的充要条件，q也是p的充要条件． p是q的充要条件又常说成q当且仅当p，或p与q等价． 2．命题的四种形式及真假关系 互为逆否的两个命题等价(同真或同假)；互逆或互否的两个命题不等价． 【特别提醒】等价命题和等价转化 (1)逆命题与否命题互为逆否命题； (2)互为逆否命题的两个命题同真假； (3)当判断原命题的真假比较困难时，可以转化为判断它的逆否命题的真假． 一　含有逻辑联结词的命题的真假判断 例1(1)已知命题p：m，n为直线，α为平面，若m∥n，n?α，则m∥α，命题q：若ab，则acbc，则下列命题为真命题的是(　　) A．p∨q B．綈p∨q C．綈p∧q D．p∧q (2)已知命题p：若xy，则－x－y；命题q：若xy，则x2y2.在命题①p∧q；②p∨q；③p∧(綈q)；④(綈p)∨q中，真命题是(　　) A．①③ B．①④ C．②③ D．②④ 答案　(1)B　(2)C 【感悟提升】　“p∨q”“p∧q”“綈p”等形式命题真假的判断步骤： (1)确定命题的构成形式； (2)判断其中命题p、q的真假； (3)确定“p∧q”“p∨q”“綈p”等形式命题的真假． (1)已知命题p：对任意x∈R，总有2x0；q：“x1”是“x2”的充分不必要条件，则下列命题为真命题的是(　　) A．p∧q B．(綈p)∧(綈q) C．(綈p)∧q D．p∧(綈q) (2)若命题p：关于x的不等式ax＋b0的解集是{x|x－}，命题q：关于x的不等式(x－a)(x－b)0的解集是{x|axb}，则在命题“p∧q”、“p∨q”、“綈p”、“綈q”中，是真命题的有________． 答案　(1)D　(2)綈p、綈q 解析　(1)p为真命题，q为假命题，故綈p为假命题，綈q为真命题．从而p∧q为假，(綈p)∧(綈q)为假，(綈p)∧q为假，p∧(綈q)为真，故选D. (2)依题意可知命题p和q都是假命题，所以“p∧q”为假、“p∨q”为假，“綈p”为真、“綈q”为真． 全称命题、特称命题的真假 例2(1)下列命题中，为真命题的是(　　) A．?x∈R，x20 B．?x∈R，－1sinx1 C．?x0∈R,0 D．?x0∈R，tanx0＝2 (2)下列四个命题 p1：?x0∈(0，＋∞)，； p2：?x0∈(0,1)，logx0logx0； p3：?x∈(0，＋∞)，xlogx； p4：?x∈，xlogx. 其中真命题是(　　) A．p1，p3 B．p1，p4 C．p2，p3 D．p2，p4 答案　(1)D　(2)D 解析　(1)?x∈R，x2≥0，故A错；?x∈R，－1≤sinx≤1，故B错；?x∈R,2x0，故C错，故选D. (2)根据幂函数的性质，对?x∈(0，＋∞)，xx，故命题p1是假命题；由于logx－logx＝－＝，故对?x∈(0,1)，logxlogx，所以?x0∈(0,1)，logx0logx0，命题p2是真命题；当x∈时，0x1，logx1，故xlogx不成立，命题p3是假命题；?x∈，0x1，logx1，故xlogx，命题p4是真命题． 故p2，p4为真命题． (1)命题“存在实数x，使x1”的否定是(　　) A．对任意实数x，都有x1 B．不存在实数x，使x≤1 C．对任意实数x，都有x≤1 D．存在实数x，使x≤1 (2)设x∈Z，集合A是奇数集，集合B是偶数集．若命题p：?x∈A,2x∈B，则綈p为：______________. 答案　(1)C　(2)?x0∈A,2x0?B 解析　(1)利用特称命题的否定是全称命题求解，“存在实数x，使x1”的否定是“对任意实数x，都有x≤1”．故选C. (2)命题p：?x∈A,2x∈B是一个全称命题，其命题的否定应为特称命题． ∴綈p：?x0∈A,2x0?B. (1)判定全称命题“?x∈M，p(x)”是真命题，需要对集合M中的每一个元素x，证明p(x)成立；要判断特称命题是真命题，只要在限定集合内至少找到一个x＝x0，使p(x0)成立． (2)对全(特)称命题进行否定的方法 ①找到命题所含的量词，没有量词的要结合命题的含义先加上量词，再改变量词． ②对原命题的结论进行否定． (1)下列命题中的真命题是(　　) A．?x∈R，使得sinx＋cosx＝ B．?x∈