充分必要条件 · p ⇒ q ⟺ P ⊆ Q

充分必要条件：其实就是集合包含

常用逻辑用语里的充分 / 必要条件，本质是集合包含换了身衣服。把命题 p(x) 的真值集合 P = {x ∈ U | p(x)}、q(x) 的 Q = {x ∈ U | q(x)} 摆出来：「p ⇒ q」对所有 x 成立，当且仅当 $P \subseteq Q$ 。充分、必要、充要，逐一对应子集、超集、相等。

选谓词 p 与 q，下方 Venn 图画出它们的真值集合 P（左圈）、Q（右圈）。看 P 与 Q 谁包含谁，就知道 p 是 q 的什么条件。

1 · p 是 q 的什么条件？看 P 与 Q 谁装下谁

condition · p ⇒ q ⟺ P ⊆ Q

怎么记

充分(sufficient) = 充分满足条件：有了 p 就足以推出 q， $p \Rightarrow q$ 。
必要(necessary) = 必不可少：要成立 q 就少不了 p， $q \Rightarrow p$ 。（不是「p 必须为真」，而是「对 q 而言 p 缺不了」）
充要(necessary and sufficient) = 两者都占，p ⇔ q。

四种情形（对着子集关系记）

P ⊊ Q——p 是 q 的充分不必要条件。
P ⊋ Q——必要不充分条件。
P = Q——充要条件(p ⇔ q)。
P 与 Q 互不包含——既不充分也不必要。

一句话：「小的推出大的」——条件越强（集合越小），越充分；条件越弱（集合越大），越必要。

2 · 相关链接

Necessity and sufficiency (en.wikipedia.org)——充分 / 必要 / 充要条件的定义，以及与蕴含 $p \Rightarrow q$ 的关系。
Material conditional — p ⇒ q (en.wikipedia.org)——蕴含的真值，以及「对所有 x，p(x) ⇒ q(x)」与真值集合包含的等价。