在命题逻辑和逻辑代数中，**德摩根定律**（英語：，又称**笛摩根定理**、**第摩根定律、对偶律**等）是关于命题逻辑规律的一对法则。

19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系：

{\displaystyle \neg (p\land q)\equiv (\neg p)\lor (\neg q)}
{\displaystyle \neg (p\lor q)\equiv (\neg p)\land (\neg q)}
即：

非（ p 且 q ）等价于（ 非 p ）或（ 非 q ）
非（ p 或 q ）等价于（ 非 p ）且（ 非 q ）
德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，亚里士多德亦曾注意到类似的现象、且这也为古希腊与中世纪的逻辑学家熟知（引自Bocheński《形式逻辑历史》）。

形式表示
----

形式逻辑中此定律表达形式已在上文提及。

在集合论中：

{\displaystyle \left(A\cap B\right)^{C}=A^{C}\cup B^{C}}
{\displaystyle \left(A\cup B\right)^{C}=A^{C}\cap B^{C}}

详细解释
----

在经典命题逻辑的外延中，此二元性依然有效（即对于任意的逻辑运算符，我们都能找他它的对偶），由于存在于调节否定关系的恒等式中，人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质，即否定范式的存在性：任何公式等价于另外一个公式，其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用，例如在数位电路设计中该性质用于操纵逻辑閘，以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件；电脑程式設計師们则用它们将一个类似于「*如果...那么...否则...*」这样的复杂语句转变为其对等形式（例如：`if(...){...} else{...}`）；它们也同样经常用于初等概率论中的计算。

我们将基于基本命题p, *q*的任意命题算符{\displaystyle P(p,q,\ldots )}的对偶定义为：

{\displaystyle \neg {\mbox{P}}^{d}(\neg p,\neg q,...)}
该概念可以推广到逻辑量词上，例如全称量词和存在量词互为对偶：

{\displaystyle \forall x\,P(x)\equiv \neg \exists x\,\neg P(x)}
"对所有x，P(x)皆成立"等价于"不存在x，使P(x)不成立"；
{\displaystyle \exists x\,P(x)\equiv \neg \forall x\,\neg P(x)}
"存在x，使P(x)成立"等价于"并非对所有x，P(x)都不成立"。
为对德摩根定律叙述这些量词的二元性，设置一个在其域D中具有少量元素的模型，例如

{\displaystyle D={a,b,c}}
则

{\displaystyle \forall x\,P(x)\equiv P(a)\wedge P(b)\wedge P(c)}
"对所有x，P(x)成立"等价于"P(a)成立"且"{\displaystyle P(b)}成立"且"{\displaystyle P(c)}成立"
以及

{\displaystyle \exists x\,P(x)\equiv P(a)\vee P(b)\vee P(c)}
"存在x，使P(x)成立"等价于"P(a)成立"或"{\displaystyle P(b)}成立"或"{\displaystyle P(c)}成立"
但，应用德摩根定律，

{\displaystyle P(a)\wedge P(b)\wedge P(c)\equiv \neg (\neg P(a)\vee \neg P(b)\vee \neg P(c))}
"‘P(a)成立’且‘{\displaystyle P(b)}成立’且‘{\displaystyle P(c)}成立’"等价于"非(‘P(a)不成立’或‘{\displaystyle P(b)}不成立’或‘{\displaystyle P(c)}不成立’)"
以及

{\displaystyle P(a)\vee P(b)\vee P(c)\equiv \neg (\neg P(a)\wedge \neg P(b)\wedge \neg P(c))}
"‘P(a)成立’或‘{\displaystyle P(b)}成立’或‘{\displaystyle P(c)}成立’"等价于"非(‘P(a)不成立’且‘{\displaystyle P(b)}不成立’且‘{\displaystyle P(c)}不成立’)"
检验模型中量词的二元性。

从而，量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符：

{\displaystyle \Box p\equiv \neg \Diamond \neg p}
{\displaystyle \Diamond p\equiv \neg \Box \neg p}
在其用于可能性和必然性的真势模态的应用中，亚里士多德注意到该情况，以及在正规模态逻辑的情况中，这些模态算符对量化的关系可借助按关系语义设置模型来理解。

参见
--

* 布尔代数主题列表

注释与参考资料
-------

### 引用

* "应注意到一个析取命题的对立命题是由该析取命题各部分的对立内容构成的一个合取命题" ——奥卡姆的威廉著，《逻辑学论文》

### 参考文献

1. 1 2  《数学辞海》编辑委员会 (编)..  **第六卷**. 太原: 山西教育出版社 等: 543. 2002. ISBN 7-5440-2401-6.

外部链接
----

* 数学世界：德摩根定律 （页面存档备份，存于）
* 國家教育研究院 樂詞網 （页面存档备份，存于）


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理（英语：）

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 托马斯·耶赫（英语：）
* 威拉德·蒯因

 |

 |