数学永恒定理/德摩根定律

德摩根定律是逻辑和集合论中的一个基本原理。它在应用否定(NOT)时，建立了逻辑运算符'AND'和'OR'之间的有用关系。德摩根定律有两种主要形式，被称为德摩根第一定律和德摩根第二定律。这些定律指出：

1. 析取的否定是各否定合取，$(A\cup B)'=A'\cap B'$
2. 合取的否定是各否定析取，$(A\cap B)'=A'\cup B'$

证明

集合的德摩根定律$A$ 和 $B$

令 $A$ 和 $B$ 是两个集合。德摩根第一定律指出，$A$ 和 $B$ 集合的并集的补集与$A$ 和 $B$ 补集的交集相同。也就是说，$(A\cup B)'=A'\cap B'$，或 ${\overline {(A\cdot B)}}=({\overline {A}}+{\overline {B}})$。德摩根第二定律指出，$A$ 和 $B$ 集合的交集的补集与它们的补集的并集相同，$(A\cap B)'=A'\cup B'$，或 ${\overline {(A+B)}}=({\overline {A}}\cdot {\overline {B}})$.

德摩根第一定律

假设 $x\in (A\cup B)'$。然后 $x\not \in A\cup B$。

$\implies x\not \in A$ 并且 $x\not \in B$

$\implies x\in A'$ 并且 $x\in B'$

$\implies x\in (A'\cap B')$

$\therefore (A\cup B)'\subseteq (A'\cap B')$

再次，令，$x\in (A'\cap B')$。然后，$x\in A'$ 并且 $x\in B'$

$\implies x\not \in A$ 并且 $x\not \in B$

$\implies x\not \in A\cup B$.

$\implies x\in (A\cup B)'$

$\therefore (A'\cap B')\subseteq (A\cup B)'$

因此，$(A\cap B)'=A'\cup B'$ [已证明]

德摩根第二定律

假设 $x\in (A\cap B)'$。然后 $x\not \in A\cap B$。

如果 $\implies x\not \in A$ 或 $x\not \in B$

那么 $\implies x\in A'$ 或 $x\in B'$

因此 $\implies x\in (A'\cup B')$

$\therefore (A\cap B)'\subseteq (A'\cup B')$

再次，假设 $x\in (A'\cup B')$。那么 $x\in A'$ 或 $x\in B'$

如果 $\implies x\not \in A$ 或 $x\not \in B$

因此 $\implies x\not \in A\cap B$.

因此 $\implies x\in (A\cap B)'$

$\therefore (A'\cup B')\subseteq (A\cap B)'$

因此，$(A\cap B)'=A'\cup B'$ [已证明]