数理逻辑 —— 德摩根定律

De Morgan’s laws

$$\begin{align} \overline{A \cup B} &= \overline{A} \cap \overline{B}, \\ \overline{A \cap B} &= \overline{A} \cup \overline{B}, \end{align}$$

1. 德摩根定律与 σ 代数

σ 代数需要满足：

• (1). $\phi \in \mathcal A$，
• (2). $A\in \mathcal A$ ⇒ $A^c\in \mathcal A$
• (3). $A_i\in \mathcal A$ ⇒ $\cup_i A_i \in \mathcal A$

由 (1) 和 (2) 可知，$\Omega \in \mathcal A$，
由 (3) 以及德摩根定律可知，$\cap _i A_i\in \mathcal A$