德摩根定律
在命题逻辑和逻辑代数中,德摩根定律(英語:,或称笛摩根定理、对偶律)是关于命题逻辑规律的一对法则[1]。
19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系:
即:
- 非( 且 )等价于( 非 )或( 非 )
- 非( 或 )等价于( 非 )且( 非 )
德摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用[1]。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究,这巩固了德摩根作为该规律的发现者的地位,亚里士多德亦曾注意到类似的现象、且这也为古希腊与中世纪的逻辑学家熟知(引自Bocheński《形式逻辑历史》)。
形式表示
形式逻辑中此定律表达形式已在上文提及。
在集合论中:
详细解释
在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用,例如在数位电路设计中该性质用于操纵逻辑閘,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程式設計師们则用它们将一个类似于「如果...那么...否则...」这样的复杂语句转变为其对等形式(例如:if(...){...} else{...}
);它们也同样经常用于初等概率论中的计算。
我们将基于基本命题, 的任意命题算符的对偶定义为:
该概念可以推广到逻辑量词上,例如全称量词和存在量词互为对偶:
- “对所有,皆成立”等价于“不存在,使不成立”;
- “存在,使成立”等价于“并非对所有,都不成立”。
为对德摩根定律叙述这些量词的二元性,设置一个在其域中具有少量元素的模型,例如
则
- “对所有,成立”等价于“成立”且“成立”且“成立”
以及
- “存在,使成立”等价于“成立”或“成立”或“成立”
但,应用德摩根定律,
- “‘成立’且‘成立’且‘成立’”等价于“非(‘不成立’或‘不成立’或‘不成立’)”
以及
- “‘成立’或‘成立’或‘成立’”等价于“非(‘不成立’且‘不成立’且‘不成立’)”
检验模型中量词的二元性。
从而,量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符:
在其用于可能性和必然性的真势模态的应用中,亚里士多德注意到该情况,以及在正规模态逻辑的情况中,这些模态算符对量化的关系可借助按关系语义设置模型来理解。
参见
注释与参考资料
引用
- “应注意到一个析取命题的对立命题是由该析取命题各部分的对立内容构成的一个合取命题” ——奥卡姆的威廉著,《逻辑学论文》
参考文献
- 《数学辞海》编辑委员会 (编). . 第六卷. 太原: 山西教育出版社 等: 543. 2002. ISBN 7-5440-2401-6.