常见题型：choice、fill、short
公式：
A \subseteq B \iff \forall x \in A, x \in B
适用条件：
A、B为同一全集U的子集
解释：
集合A是B的子集等价于任意属于A的元素都属于B，常用于将逻辑命题转化为集合包含关系。
公式：
\neg (\forall x \in U, p(x)) \iff \exists x \in U, \neg p(x)
适用条件：
U为全集，p(x)为关于x的命题
解释：
全称命题的否定是存在性命题，对应集合补集概念：全称命题对应全集，否定后变为存在性命题对应补集。
公式：
p \rightarrow q \iff $\overline{p}$ \cup q $\text{（逻辑等价）}$
适用条件：
p、q为命题
解释：
蕴含式p→q等价于非p或q，在集合中对应补集与并集的运算，用于判断命题真假。
原因分析：
混淆了条件的充分性与必要性：p是q的必要条件意味着q→p，对应集合q ⊆ p。
正确做法：
记p对应的集合为P，q对应的集合为Q，则p是q的必要不充分条件等价于Q ⊆ P且Q ≠ P。
错误做法：
将“必要不充分条件”误认为集合A ⊆ B，实际应为B ⊆ A且B ≠ A。
原因分析：
集合端点开闭影响包含关系，如开区间与闭区间在端点处不同。
正确做法：
先明确集合类型（开、闭、半开半闭），再代入端点检验是否满足包含条件。
错误做法：
在解含参数的集合包含关系时，忽略端点是否可取。
原因分析：
混淆全称与存在量词的否定规则，忘记互换量词。
正确做法：
全称量词与存在量词互换，同时否定结论：∃x, p(x)的否定是∀x, ¬p(x)。
错误做法：
对命题的否定形式写错，如将“存在x使得p(x)”的否定写成“存在x使得非p(x)”。
例题 1
已知集合A = {x | x^2 - 3x + 2 ≤ 0}，集合B = {x | |x - 1| < a}，若“x ∈ A”是“x ∈ B”的必要不充分条件，求实数a的取值范围。
解答
解：A = [1, 2]；B = (1 - a, 1 + a)。
必要不充分条件：B ⊆ A 且 B ≠ A。
所以 (1 - a, 1 + a) ⊆ [1, 2] 且 (1 - a, 1 + a) ≠ [1, 2]。
即 1 - a ≥ 1 且 1 + a ≤ 2，解得 a ≤ 0 且 a ≤ 1，故 a ≤ 0；
同时 B ≠ A，所以 1 - a ≠ 1 或 1 + a ≠ 2，即 a ≠ 0。
综上，a < 0。
要点：
例题 2
设命题p：方程x^2 + mx + 1 = 0有实根；命题q：函数f(x) = x^2 - 2mx + 3在区间[0, 1]上单调递减。若p ∨ q为真，p ∧ q为假，求实数m的取值范围。
解答
解：p真：Δ = m^2 - 4 ≥ 0 ⇒ m ≤ -2 或 m ≥ 2。
q真：对称轴x = m ≥ 1 ⇒ m ≥ 1。
p ∨ q真且p ∧ q假 ⇒ p、q一真一假。
情形1：p真q假 ⇒ (m ≤ -2 或 m ≥ 2) 且 m < 1 ⇒ m ≤ -2。
情形2：p假q真 ⇒ -2 < m < 2 且 m ≥ 1 ⇒ 1 ≤ m < 2。
综上，m的取值范围是(-∞, -2] ∪ [1, 2)。
要点：