充分必要条件 ·

p \Rightarrow q \iff P \subseteq Q

充分必要条件与集合包含

充分条件与必要条件是集合包含的另一种说法。把开语句 $p(x)$ 在全集 $U$ 上的真值集合记作 $P = \{x \in U \mid p(x)\}$ ， $q(x)$ 的记作 $Q$ ，则「对每个 $x$ ， $p(x)$ 成立就有 $q(x)$ 成立」这句话，逐字就是「 $P$ 的每个元素都在 $Q$ 里」。

1 · 蕴含与包含的等价

condition ·

p \Rightarrow q \iff P \subseteq Q

定理 1.1 $\forall x \in U,\ p(x) \Rightarrow q(x)$ 当且仅当 $P \subseteq Q$ 。

证明两侧展开成同一句话。左端为真，即不存在 $x \in U$ 使 $p(x)$ 真而 $q(x)$ 假，即不存在 $x$ 满足 $x \in P$ 且 $x \notin Q$ ，即 $P - Q = \emptyset$ 。而 $P - Q = \emptyset$ 与 $P \subseteq Q$ 由子集的定义互为改写。∎

四组术语各自对应一种包含格局。 $p \Rightarrow q$ 时称 $p$ 是 $q$ 的充分条件，对应 $P \subseteq Q$ ； $q \Rightarrow p$ 时称 $p$ 是 $q$ 的必要条件，对应 $Q \subseteq P$ ；两者都成立即充要条件，对应 $P = Q$ ；都不成立则 $P$ 与 $Q$ 互不包含。把「不必要」「不充分」加上，就是四种情形： $P \subsetneq Q$ 是充分不必要， $P \supsetneq Q$ 是必要不充分， $P = Q$ 是充要，互不包含则既不充分也不必要。

条件越强，真值集合越小，越靠「充分」那一端；条件越弱，集合越大，越靠「必要」那一端。这条单调性是记忆四种情形的唯一线索，方向由定理 1.1 定死，不必另记口诀。

图 1-1 · 两个谓词的真值集合与四种条件格局的对应。可切换

p

、

q

与全集，观察

P

与

Q

谁装下谁。

2 · 必要条件的方向

direction · 必要

\iff Q \subseteq P

警示 · 「 $p$ 是 $q$ 的必要条件」写成蕴含式是 $q \Rightarrow p$ ，箭头从 $q$ 指向 $p$ ，与中文语序相反。误记成 $p \Rightarrow q$ 是本页最高频的错答。回到字面即可校正：必要的意思是「 $q$ 要成立，就缺不了 $p$ 」，因此凡 $q$ 成立处 $p$ 必成立，箭头只能是 $q \Rightarrow p$ 。对应的包含式是 $Q \subseteq P$ ——必要条件的真值集合更大，是那个装得下对方的。

3 · 判定对全集的依赖

universe · 结论随

U

变

定理 1.1 里的量词跑遍 $U$ ，所以充分与必要是相对全集的判断，不是两个谓词之间的绝对关系。换一个全集，同一对谓词的结论可以变。

这件事在有限全集上会咬人。图 1-1 的六个谓词两两配对共 $30$ 个有序对，在 $U = \{1, \dots, 12\}$ 上逐对判定，得到 $3$ 个充分不必要、 $3$ 个必要不充分、 $24$ 个既不充分也不必要，无充要对；三条成立的蕴含是 $4 \mid x \Rightarrow 2 \mid x$ 、 $6 \mid x \Rightarrow 2 \mid x$ 与 $6 \mid x \Rightarrow 3 \mid x$ ，它们在 $\mathbb{N}$ 上同样成立。

把全集截短，就会冒出在 $\mathbb{N}$ 上并不成立的蕴含。 $U = \{1, 2, 3, 4\}$ 时 $P_{3 \mid x} = \{3\}$ 而 $P_{\text{质数}} = \{2, 3\}$ ，于是「 $x$ 是 $3$ 的倍数」成了「 $x$ 是质数」的充分条件——而 $9$ 是 $3$ 的倍数却不是质数。这类假蕴含的条数随全集变大而单调减少：实测 $U = \{1\}$ 时有 $27$ 条， $\{1, \dots, 4\}$ 时 $9$ 条， $\{1, \dots, 7\}$ 时只剩 $1$ 条（ $x > 6 \Rightarrow x$ 是质数，因为 $U$ 里大于 $6$ 的只有 $7$ ），到 $\{1, \dots, 8\}$ 归零。图 1-1 的默认全集取到 $12$ ，正是越过这个门槛之后的值；取 $10$ 以下则页面上会显示出在 $\mathbb{N}$ 上为假的判定。

4 · 参考文献

Necessity and sufficiency. Wikipedia. 充分、必要与充要条件的定义及常见混淆。https://en.wikipedia.org/wiki/Necessity_and_sufficiency
Material conditional. Wikipedia. 蕴含式的真值定义，以及前件为假时为真的约定。https://en.wikipedia.org/wiki/Material_conditional
Universe (mathematics). Wikipedia. 论域的作用，以及量词命题为何依赖它。https://en.wikipedia.org/wiki/Universe_(mathematics)