人被杀就会死：实质蕴含与空集唯一的证明

字数

856 字

阅读时间

4 分钟

参考文献[1][2][3][4][5][6][7]

---

集合论基础：公理、证明与逻辑

1. 外延公理 (Axiom of Extensionality)

$\mathrm{\forall }A\mathrm{\forall }B[\mathrm{\forall }x(x\in A\iff x\in B)\Rightarrow A=B]$

两个集合相等，当且仅当它们含有完全相同的元素。集合完全由其元素决定，除此之外没有其他内在属性（如“标签”或“顺序”）。

---

2. 空集公理与空集唯一定理

空集公理 (Axiom of Empty Set)

存在一个不包含任何元素的集合。

空集唯一定理

证明：

1. 假设存在两个空集，记作 $A$ 和 $B$。
2. 根据空集的定义，对于任意 $x$，有：
   • $x\notin A$
   • $x\notin B$
3. 现在，考虑命题“$x\in A\Rightarrow x\in B$”。由于前提 $x\in A$ 恒假（根据空集定义），根据实质蕴含的真值表（见附录），该条件命题恒为真。
4. 同理，命题“$x\in B\Rightarrow x\in A$”也恒为真。
5. 因此，我们得到：$\mathrm{\forall }x(x\in A\iff x\in B)$。
6. 根据外延公理，由 $\mathrm{\forall }x(x\in A\iff x\in B)$ 可推出 $A=B$。

结论：任意两个空集都相等，因此空集是唯一的。我们使用一个特定的符号来表示这个唯一的集合：$\mathrm{\varnothing }$ 或 {}。

注：空集唯一定理证明的关键是逻辑实质蕴含。

---

附录：逻辑联结词 - 实质蕴含

定义

实质蕴含 (Material Implication)，记作 $P\to Q$（读作“如果 P，那么 Q”）。

真值表

$P$ (前提)	$Q$ (结论)	$P\to Q$ (实质蕴含)
真	真	真
真	假	假
假	真	真
假	假	真

说明与示例

1. 第一行：$P$ 真，$Q$ 真 → $P\to Q$ 为真。
   • 示例：“如果下雨，地面会湿。” 下雨了，地面也确实湿了，陈述为真。
2. 第二行：$P$ 真，$Q$ 假 → $P\to Q$ 为假。
   • 示例：“如果下雨，地面会湿。” 下雨了，但地面是干的（例如有遮挡），陈述为假。
3. 第三、四行：$P$ 假 → $P\to Q$ 恒为真。
   • 示例：“如果下雨，地面会湿。” 实际上没有下雨。此时，无论地面是否湿了，这个“如果…那么…”的陈述都没有被违反，因此在逻辑上被视为真。这常被称为“空真”(vacuously true)。

人被杀，就会死。这也是一个很好的例子。”实际上没有人被杀。此时，无论人是否死了，这个“如果…那么…”的陈述都没有被违反，此乃 vacuously true。

重要启示

实质蕴含允许 “前提为假时，整个条件句恒为真”。这一特性在数学证明中非常有用，但也引发了关于其是否完全符合自然语言中“如果…那么…”含义的哲学讨论，即所谓的 “[[蕴含怪论]]”。

贡献者

G4OM-ES

文件历史

最后编辑于 1 分钟前查看完整历史

ace47-update1800

a6d81-update113