2019版高考数学一轮复习 第1章 集合与常用逻辑用语 1.3 简单的逻辑联结词、全称量词与存在量词学案 文.docVIP

1．3　简单的逻辑联结词、全称量词与存在量词 [知识梳理] 1．简单的逻辑联结词 (1)命题中的或、且、非叫做逻辑联结词． (2)概念 用联结词“且”把命题p和命题q联结起来，得到复合命题“p且q”，记作pq； 用联结词“或”把命题p和命题q联结起来，得到复合命题“p或q”，记作pq； 对命题p的结论进行否定，得到复合命题“非p”，记作綈p. (3)命题pq，pq，綈p的真假判断 p q pq p∨q 綈p 真 真 真 真 假 真 假 假 真 假 假 真 假 真 真 假 假 假 假 真 (4)命题的否定与否命题的区别 定义：命题的否定是直接对命题的结论进行否定，而否命题则是对原命题的条件和结论分别否定，即命题“若p，则q”的否定为“若p，则綈q”，而否命题为“若綈p，则綈q”． 与原命题的真假关系：命题的否定的真假与原命题的真假总是相对的，即一真一假，而否命题的真假与原命题的真假无必然的联系． 2．全称量词和存在量词 3．全称命题和特称命题 4．复合命题的否定 (1)“綈p”的否定是“p”；(2)“pq”的否定是“(綈p)(綈q)”；(3)“pq”的否定是“(綈p)(綈q)”． [诊断自测] 1．概念思辨 (1)若pq为真，则pq必为真；反之，若pq为真，则pq必为真．(　　) (2)全称命题一定含有全称量词，特称命题一定含有存在量词．(　　) (3)写特称命题的否定时，存在量词变为全称量词．(　　) (4)x0∈M，p(x0)与x∈M，綈p(x)的真假性相反．(　　) 答案　(1)×　(2)×　(3)√　(4)√ 　 2．教材衍化 (1)(选修A1－1P26T2)命题“x0，都有x2－x＋3≤0”的否定是(　　) A．x0，使得x2－x＋3≤0 B．x0，使得x2－x＋30 C．x0，都有x2－x＋30 D．x≤0，都有x2－x＋30 答案　B 解析　命题“x0，都有x2－x＋3≤0”的否定是：x0，使得x2－x＋30.故选B. (2)(选修A1－1P28T1)已知命题p：x∈R，x－2lg x，命题q：x∈R，x20，则(　　) A．命题pq是假命题 B．命题pq是真命题 C．命题p(綈q)是真命题 D．命题p(綈q)是假命题 答案　C 解析　由于x＝10时，x－2＝8，lg x＝lg 10＝1，故命题p为真命题，令x＝0，则x2＝0，故命题q为假命题， 依据复合命题真假性的判断法则，得到命题pq是真命题，命题pq是假命题，綈q是真命题， 进而得到命题p(綈q)是真命题，命题p(綈q)是真命题．故选C. 3．小题热身 (1)(2015·浙江高考)命题“n∈N*，f(n)N*且f(n)≤n”的否定形式是(　　) A．n∈N*，f(n)N*且f(n)n B．n∈N*，f(n)N*或f(n)n C．n0∈N*，f(n0)N*且f(n0)n0 D．n0∈N*，f(n0)N*或f(n0)n0 答案　D 解析　“f(n)∈N*且f(n)≤n”的否定为“f(n)?N*或f(n)n”，全称命题的否定为特称命题．故选D. (2)(2015·山东高考)若“x∈，tanx≤m”是真命题，则实数m的最小值为________． 答案　1 解析　若0≤x≤，则0≤tanx≤1，“?x∈，tanx≤m”是真命题，m≥1.∴实数m的最小值为1. 题型1　含有逻辑联结词的命题的真假 　　(2018·江西七校联考)已知函数f(x)＝给出下列两个命题：命题p：m∈(－∞，0)，方程f(x)＝0有解，命题q：若m＝，则f[f(－1)]＝0，那么，下列命题为真命题的是(　　) A．pq B．(綈p)q C．p(綈q) D．(綈p)(綈q) 利用复合命题的真假判断方法逐项验证． 答案　B 解析　因为3x0，当m0时，m－x20， 所以命题p为假命题； 当m＝时，因为f(－1)＝3－1＝， 所以f[f(－1)]＝f＝－2＝0， 所以命题q为真命题， 逐项检验可知，只有(綈p)q为真命题．故选B. 　　(2017·武汉模拟)若存在正常数a，b，使得x∈R有f(x＋a)≤f(x)＋b恒成立，则称f(x)为“限增函数”．给出下列三个函数：f(x)＝x2＋x＋1；f(x)＝；f(x)＝sinx2，其中是“限增函数”的是(　　) A． B． C． D． 注意放缩法的应用． 答案　B 解析　对于，f(x＋a)≤f(x)＋b可化为 (x＋a)2＋(x＋a)＋1≤x2＋x＋1＋b， 即2ax≤－a2－a＋b，即x≤对一切xR均成立，因函数的定义域为R，故不存在满足条件的正常数a，b，故f(x)＝x2＋x＋1不是“限增函数”； 对于，若f(x)＝是“限增函数”，则 f(x＋a)≤f(x)＋b可化为：≤＋b， |x＋a|≤|x|＋b2＋2b恒成立，又 |x＋a|≤|x|＋a