德摩根定律

维基百科,自由的百科全书
跳转至: 导航搜索

命题逻辑逻辑代数中,德摩根定律(或称德摩根定理)是关于命题逻辑规律的一对法则[1]

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

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

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

形式表示[编辑]

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

\neg(P\wedge Q)=(\neg P)\vee(\neg Q)
\neg(P\vee Q)=(\neg P)\wedge(\neg Q)

在集合论中:

(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 .

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

参见[编辑]

注释与参考资料[编辑]

引用[编辑]

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

参考文献[编辑]

  1. ^ 1.0 1.1 德·摩根定律//《数学辞海》编辑委员会 (编). 数学辞海. 太原: 山西教育出版社 等. 543. 2002. ISBN 7-5440-2401-6. 

外部链接[编辑]