德·摩根定律

德摩根定律

在命题逻辑和逻辑代数中，德·摩根定律（或称德·摩根定理）是关于命题逻辑规律的一对法则。

定理定义

形式逻辑中此定律表达形式：

在集合论中：

在概率论中;

定理推广

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

我们将基于基本命题p,q的任意命题算符P（p,q,...）的对偶定义为：

该概念可以推广到逻辑量词上，例如全称量词和存在量词互为对偶：

“对所有x，P（x）皆成立”等价于“不存在x，使P（x）不成立”；

“存在x，使P（x）成立”等价于“并非对所有x，P（x）都不成立”。

为对德·摩根定律叙述这些量词的二元性，设置一个在其域D中具有少量元素的模型，例如

D = {a,b,c}.

则

“对所有x，P（x）成立”等价于“P（a）成立”且“P（b）成立且”“P（c）成立”

以及

“存在x，使P（x）成立”等价于“P（a）成立”或“P（b）成立”或“P（c）成立”

但，应用德·摩根定律，

“‘P（a）成立’且‘P（b）成立’且‘P（c）成立’”等价于“非（‘P（a）不成立’或‘P（b）不成立’或‘P（c）不成立’）”

以及

“‘P（a）成立’或‘P（b）成立’或‘P（c）成立’”等价于“非（‘P（a）不成立’且‘P（b）不成立’且‘P（c）不成立’）”

检验模型中量词的二元性。

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

推导过程

(xy)=x|y

(x|y)=xy

(x+1)=x-1

(x-1)=x+1

-x=x-1

(xy)=xy=x≡y

(x≡y)=x≡y=xy

(x+y)=x-y

(x-y)=x+y

上述公式可以这样用：(x|-(x+1))=x-(x+1)=-x((x+1)-1)=xx=0。

实验验证

真值证明

假设你要证明： (A v B) = A ^ B，则可构造真值表如下：

可见，在A和B的所有可能取值下， (A v B)与 A ^ B的值都相同，故要证明的式子成立.

对于 (A ^ B) = A v B 的情形可以同样的方法证明.

逻辑证明

设x属于Cu(A∪B)

则x属于u却不属于A∪B

所以x属于u却不属于A，也不属于B

故x属于CuA且属于CuB,

故x属于CuA∩CuB,

反过来，式子仍然成立.

同理，另一式也成立.

发展简史

奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系：

非(P 且 Q)=(非 P)或(非 Q)

非(P 或 Q)=(非 P)且(非 Q)

德·摩根的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德·摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知(引自Bocheński《形式逻辑历史》)。

形式逻辑中此定律表达形式：

在集合论中：

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

我们将基于基本命题p, q的任意命题算符P(p, q, ...)的对偶定义为：

该概念可以推广到逻辑量词上，例如全称量词和存在量词互为对偶：

“对所有x，P(x)皆成立”等价于“不存在x，使P(x)不成立”；

“存在x，使P(x)成立”等价于“并非对所有x，P(x)都不成立”。

为对德·摩根定律叙述这些量词的二元性，设置一个在其域D中具有少量元素的模型，例如

，则

“对所有x，P(x)成立”等价于“P(a)成立”且“P(b)成立”且“P(c)成立”

以及

“存在x，使P(x)成立”等价于“P(a)成立”或“P(b)成立”或“P(c)成立”

但，应用德·摩根定律，

“‘P(a)成立’且‘P(b)成立’且‘P(c)成立’”等价于“非(‘P(a)不成立’或‘P(b)不成立’或‘P(c)不成立’)”

以及