由表达式:非(P且Q)=(非P)或(非Q)
应用学科:代数
适用领域:真势模态
提出者:英国数学家 奥古斯都·德·摩根(Augustus De Morgan1806.6.27—1871.3.18)
形式逻辑中此定律表达形式:
在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德·摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子式。否定常型的存在推进了许多应用,例如在数字电路设计中该性质用于操纵逻辑门,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程序员们则用它们将一个类似于IF ... AND (... OR ...) THEN ... 这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。
(xy)=x|y
(x|y)=xy
(x+1)=x-1
(x-1)=x+1
-x=x-1
(xy)=xy=x≡y
(x≡y)=x≡y=xy
(x+y)=x-y
(x-y)=x+y
上述公式可以这样用:(x|-(x+1))=x-(x+1)=-x((x+1)-1)=xx=0。
逻辑证明
设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《形式逻辑历史》)。
在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个