主题2常用逻辑用语、不等式、算法与逻辑推理1．常用逻辑用语解决常用逻辑用语问题应注意4点(1)含有一个量词的命题的否定，其原则为“改量词、否结论”，如T1.(2)充分必要条件的判断可利用定义或借助集合间的关系来判断，如T2.(3)命题p，q的真假与命题p∧q，p∨q，p的真假关系．用语言概括为：p∧q“见假就假”，p∨q“见真就真”，¬p“真假相对”，如T3.(4)弄清充分条件与必要条件的定义：如“A的充分不必要条件是B”是指B⇒A，且AB；而“A是B的充分不必要条件”则是指A⇒B，且BA，如T4.1．(2019·乌鲁木齐市一模)已知命题p：x∈R，cosx≤1，则()A．¬p：x∈R，cosx≥1B．¬p：x∈R，cosx＜1C．¬p：x∈R，cosx≤1D．¬p：x∈R，cosx＞1D[命题p：x∈R，cosx≤1，是一个全称命题，∴¬p：x∈R，cosx＞1，故选D.]2．(2019·北京高考)设点A，B，C不共线，则“AB与AC的夹角为锐角”是“|AB＋AC|＞|BC|”的()A．充分而不必要条件B．必要而不充分条件C．充分必要条件D．既不充分也不必要条件C[若|AB＋AC|＞|BC|，则|AB＋AC|2＞|BC|2，AB2＋AC2＋2AB·AC＞|BC|2， 点A，B，C不共线，∴线段AB，BC，AC构成一个△ABC，设内角A，B，C对应的边分别为a，b，c，则由平面向量的数量积公式及余弦定理可知，AB2＋AC2＋2AB·AC＞|BC|2，即c2＋b2＋2bc·cosA＞c2＋b2－2bc·cosA，∴cosA＞0，又A，B，C三点不共线，故AB与AC的夹角为锐角．反之，易得当AB与AC的夹角为锐角时，|AB＋AC|＞|BC|，∴“AB与AC的夹角为锐角”是“|AB＋AC|＞|BC|”的充分必要条件，故选C.]3．[一题多解](2019·全国卷Ⅲ)记不等式组表示的平面区域为D.命题p：(x，y)∈D,2x＋y≥9；命题q：(x，y)∈D,2x＋y≤12.下面给出了四个命题①p∨q；②¬p∨q；③p∧¬q；④¬p∧¬q.这四个命题中，所有真命题的编号是()A．①③B．①②C．②③D．③④A[法一：(直接法)画出可行域如图中阴影部分所示．目标函数z＝2x＋y是一条平行移动的直线，且z的几何意义是直线z＝2x＋y的纵截距．显然，直线过点A(2,4)时，zmin＝2×2＋4＝8，即z＝2x＋y≥8.∴2x＋y∈[8，＋∞)．由此得命题p：(x，y)∈D,2x＋y≥9正确；命题q：(x，y)∈D,2x＋y≤12不正确．∴①③真，②④假．故选A.法二：(特值法)取x＝4，y＝5，满足不等式组且满足2x＋y≥9，不满足2x＋y≤12，故p真，q假．∴①③真，②④假．故选A.]4．(2019·临沂高三2月教学质量检测)函数f(x)＝ax2－2ax＋lnx在(1,3)上不单调的一个充分不必要条件是()A．a∈B．a∈C．a∈D．a∈A[f′(x)＝ax－2a＋＝(x>0)．令g(x)＝ax2－2ax＋1，因为函数f(x)在(1,3)上不单调，所以函数g(x)＝ax2－2ax＋1在(1,3)上有实数根，当a＝0时，显然不成立，当a≠0时，只需解得a＞1或a＜－，即a∈∪(1，＋∞)．它的充分不必要条件即为一个子集，故选A.]2．不等式解决不等式问题应注意4点(1)代数式的比较大小问题常借助不等式的性质或函数的性质或用特值法求解，如T1.(2)用基本不等式“≥(a，b>0)”求最值(或值域)时，要注意到条件“一正、二定、三相等”，这三个条件缺一不可，如T2.(3)注意一元二次不等式的解集与不等式恒成立是不同的，前者是解不等式，而后者是借助函数的性质求参数的取值范围，如T5.(4)求解线性规划问题时，不能准确把握目标函数的几何意义导致错解，如是指已知区域内的点与点(－2,2)连线的斜率，而(x－1)2＋(y－1)2是指已知区域内的点到点(1,1)的距离的平方等．同时解线性规划问题，要注意边界的虚实；注意目标函数中y的系数的正负，如T3，T4.1．(2019·海淀区4月期中)已知a＜b，则下列结论中正确的是()A．c＜0，a＞b＋cB．c＜0，a＜b＋cC．c＞0，a＞b＋cD．c＞0，a＜b＋cD[因为a＜b，c＞0，所以a＜b＋c恒成立，因此D正确，故选D.]2．已知a>0，b>0，a＋b＝2，则y＝＋的最小值是()A.B．4C.D．5C[ a＋b＝2，∴＝1.∴＋＝＝＋＋≥＋2＝当且仅当＝，即b＝2a＝时，等号成立，故y＝＋的最小值为.]3．若x，y满足约束条件则z＝3x－y的取值范围为()A.B.C.D.D[作出不等式组表示的平面区域如图阴影部分所示，作直线l0：3x－y＝0，将直线l0向右平行移动时，过点A，B时直线分别在y轴上截距最小与最大，此时z取得最小值与...
