在命题逻辑和逻辑代数中，德摩根定律(或称德摩根定理)是关于命题逻辑规律的一对法则。奥古斯塔斯·德摩根首先发现了在命题逻来自辑中存在着下面这些关系:
非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)
德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾香诗养注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知
发展历程与表达形式
奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系:
非(P 且 Q)=非P 或 非 Q
非(P 或 Q)=非P 且 非 Q
逻辑等价/德摩根定律 
量词的德摩根定来自律 德·摩根的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德·摩根作为该规律提著模的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知(引自Bocheński《形式逻辑历史》)。
着整宗封眼阶完负负事 形式逻辑中此定律表达形式转倍找:、
¬(P∨Q) ⇔ (¬P∧¬Q) -----德·摩根律 DeMorgan's Law
¬(P∧Q) ⇔ (¬P∨¬Q) -----德·摩根律 DeMorgan's La360百科w
在集合论中:
(A\cap B)^C=A^C\cup B^C
抗何任型西端升 (A\cup B)^C=A^片衣哪C\cap B^C.
在经典命题逻辑的外延中，此二元性依然有效(即对于任意的肥轴职逻辑运算符，我们都能找他它的对偶)，由于存在于调节否定关系绍东改真力的恒等式中，人们总会引入作为一个算符的德·摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质，即否定范式他的存在性:任何公式等价于县民若凯另外一个公式，其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用，例如在数字电路设计中该性质用于操纵逻辑门，以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范达益胡德派省式的必要条件;电脑程序员们则用它们将一个类似于IF ... AND (... OR ...) THEN ... 这样的复杂语句转变为其对等形式;它们也同入爱批行农别样经常用于初等概率论该着宣找半情存虽表中的计算。
我们将基试细酸来服叫局于基本命题p,q假领节达站左生山六示只的任意命题算符P(p,q,...)的对偶定义为:
\neg \mbox{P}^d(\neg p,\neg q,...).
该概念可以推广到逻辑量词上，例如全称量词和高总鱼输雷看并蛋四存在量词互为对偶:
\forall x \,P(x) \equiv \neg \exists x \,\neg P(x),
"对所有x，P(此方断东制车助怀病省x)皆成立"等价于"不存在x，使P(x)不成立";
\exists x \,P(x) \equiv \neg \forall x \,\neg P(x).
"存在x，使只把充间冲发滑则按晚P(x)成立"等价于"并非对所有x，P(x)都不成立"。
为对德·摩少送型某基讲备里染根定律叙述这些量词的二元性，设置一个在其域D中具有少量元素的模型，例如
D = {a,b,c}.
则
\forall x \,P(x) \equiv P(a) \wedge P(b) \wedge P(c)
"对所有x，P(x)成立"等价于"P(a)成立"且"P(b)成立"且"P(c)成立"
以及
\exists x \,P(x) \equiv P(a) \vee P(b) \vee P(c).
"存在x，使P(x)成立"等价于"P(a)成立"或"P(b)成立"或"P(c)成立"
但，应用德·摩根定律，
P(a) \wedge P(b) \wedge P(c) \equiv \neg (\neg P(a) \vee \neg P(b) \vee \neg P(c))
"'P(a)成立'且'P(b)成立'且'P(c)成立'"等价于"非('P(a)不成立'或'P(b)不成立'或'P(c)不成立')"
以及
P(a) \vee P(b) \vee P(c) \equiv \neg (\neg P(a) \wedge \neg P(b) \wedge \neg P(c)),
"'P(a)成立'或'P(b)成立'或'P(c)成立'"等价于"非('P(a)不成立'且'P(b)不成立'且'P(c)不成立')"
检验模型中量词的二元性。
从而，量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符:
\Box p \equiv \neg \Diamond \neg p,
\Diamond p \equiv \neg \Box \neg p.
在其用于可能性和必然性的真势模态的应用中，亚里士多德注意到该情况，以及在正规模态逻辑的情况中，这些模态算符对量化的关系可借助按关系语义设置模型来理解。
关注微信