什么是命题？
定义：能够判断真假的陈述句叫做命题。
关键点：
必须是陈述句（疑问句、祈使句、感叹句都不是命题）。
必须能判断真假（不能模棱两可）。
例子：
“x>5 ”不是命题（因为x 未知，无法判断真假）。
“2+2=5 ”是命题（虽然是假的，但它是可以判断真假的陈述句，叫假命题）。 全称量词与存在量词
这是描述“范围”的工具。
类型                  关键词           符号    否定 
全称量词命题   所有、任意    ∀        变成存在量词 (∃ )，并否定结论
存在量词命题   存在、有的    ∃        变成全称量词 (∀ )，并否定结论
核心考点：命题的否定
很多同学在写“命题的否定”时，只否定结论，忘记改量词，这是错误的。
口诀：“改量词，否结论”。
举例：
原命题：
∀x∈R,x≥0 （所有实数的平方都大于等于0）
否定后：
∃x∈R,x<0 （存在一个实数，它的平方小于0）
第二板块：充分条件与必要条件
这是本章的重难点，也是高考的高频考点。我们需要理清p 和q 之间的推导关系。
设p 为条件，q 为结论：
充分条件 (p⇒q )：有p 就一定有q 。（“这就够了”）
必要条件 (q⇒p )：没p 就一定没q 。（“缺它不行”）
充要条件 (p⇔q )：既是充分又是必要。
四种情况判定表
关系               名称                     记忆技巧
p⇒q 且q⇏p   充分不必要条件   有它就行，没它也未必不行

p⇏q 且q⇒p   必要不充分条件   没它不行，有它也不一定行
p⇒q 且q⇒p  充要条件              等价关系，互为因果p⇏q 且q⇏p 既不充分也不必要 没啥直接关系
巧用“集合法”判断
如果题目涉及x 的范围（比如不等式），用集合包含关系判断最快：
设A={x∣p(x)} ，B={x∣q(x)} 。
若A⊆B ，则p 是q 的充分条件（小范围推大范围）。
若A⊇B ，则p 是q 的必要条件（大范围推小范围）。
若A=B ，则p 是q 的充要条件。
形象比喻：
“你是北京人” (p ) 是 “你是中国人” (q ) 的什么条件？
集合上看，北京人⊂ 中国人。小推大，所以是充分不必要。
第三板块：逻辑联结词
主要处理复合命题的真假判断。常用的联结词有三个：“且”、“或”、“非”。
逻辑符号与含义
联结词      符号     对应集合运算 真值表规则 (口诀)
且 (and)    ∧        交集 (∩ )         一假必假 (全真才真)
或 (or)       ∨        并集 (∪ )        一真必真 (全假才假)
非 (not)      ¬         补集 (∁uA )     真假相反
易错点辨析
“或”的含义：数学中的“或”是相容的。即p∨q 为真，包括三种情况：
p 真q 假、p 假q 真、p 真q 真。这与生活中的“或者…或者…”（通常二选一）不同。
命题的否定 vs 否命题：
命题的否定 (¬p )：只否定结论。例如“若x>1 ，则x>2 ”的否定是“若x>1 ，则x≤2 ”。
否命题：既否定条件，又否定结论。例如“若x>1 ，则x>2 ”的否命题是“若x≤1 ，则x≤2 ”。
注意：在“常用逻辑用语”章节中，通常考查的是“命题的否定”。
第四板块：实战解题策略
在做题时，建议遵循以下步骤：
翻译：将自然语言转化为数学符号。
例如：“x 是偶数”记为p ，x 能被4整除”记为q 。”
化简：先解出每个命题对应的集合或范围。
例如：
p:−1<x<3 ，q:x<a 。
画图：对于含参数的问题，画出数轴是最直观的方法。
如果是“充分不必要”，就是p 的区间完全落在q 的区间内部。
端点验证：在利用集合包含关系求参数范围时，一定要单独验证端点（能不能取等号），这是最容易丢分的地方。