主题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·全国卷Ⅲ)记不等式组表示的