大白话理解德摩根定律（De Morgan‘s Laws）

说明

  该笔记写给自己之后复习理解，文中用词不一定很标准，很多东西是我想到了就写上去的，意会即可。

德摩根定律

简介

  简而言之，该定律描述了命题逻辑中的两个关系：
  若设现有两个命题A和B，那么必然有

非（A 且 B）=（非 A）或（非 B） 非（A 或 B）=（非 A）且（非 B）   如今天我要出门买水果，设此时有两个命题 A：买西瓜 B：买苹果 如果应用德摩根定律的引理1，此时必然有 非（买西瓜 且 买苹果）=（非 买西瓜）或（非 买苹果） 翻译一下上面的等式，等式左边的命题表示：“不会既买西瓜也买苹果”，即 非（买西瓜 且 买苹果）= 西瓜和苹果中至少有一个不买 同理，等式右边的命题表示：要么“不买西瓜”，要么“不买苹果”（当然，逻辑关系中的或可以表达两者均成立，即“西瓜苹果均不买”），那么容易理解，这句话的意思也同样表示“西瓜和苹果中至少有一个不买”，那么显然，德摩根定律所表述的等式左右两端其实表达的是同一个意思。

  对引理2也可以用同样的方式进行理解，此处不再赘述，接下来就用数学推导不那么严格（😀）地证明和理解一下一般形式下的德摩根定律。
  首先，列出德摩根定律两个引理的一般形式，此处的推导和符号标记都参考了这篇文献。

引理1

$$(\bigcap _{i=1}^n{S}_i{)}^c=\bigcup _{i=1}^n{S}_n^c$$

引理2

$$(\bigcup _{i=1}^n{S}_i{)}^c=\bigcap _{i=1}^n{S}_n^c$$

式中，$S_i$ 表示第 $i$ 个集合，$n$ 表示集合的总个数，$c$ 代表补集，此处也可以理解为“非”。

证明

证明的思路

  我们知道，两个集合相等的充分必要条件是两个集合互为子集，即

$$A=B\rightleftharpoons (A\subset B)\cap (B\subset A)$$

基于这个前提，我们只需要证明摩根定律中等式两端的对应集合互为子集即能证得德摩根定律，明白了这一点，我们就可以具体推导并解释德摩根定律的证明过程。

引理1的证明过程

  在这里重申一下引理1：

( ⋂ i = 1 n S i ) c = ⋃ i = 1 n S n c \quad (\bigcap_{i=1}^{n} S_i)^c = \bigcup_{i=1}^{n}S_n^c (i=1⋂n​Si​)c=i=1⋃n​S