德摩根定律

✍ dations ◷ 2025-04-26 04:02:26 #布尔代数,逻辑,对偶理论

在命题逻辑和逻辑代数中,德摩根定律(英语:De Morgan's laws,或称笛摩根定理、对偶律)是关于命题逻辑规律的一对法则。

19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系:

即:

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

形式逻辑中此定律表达形式已在上文提及。

在集合论中:

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

我们将基于基本命题 p {\displaystyle p} 的任意命题算符 P ( p , q , ) {\displaystyle P(p,q,\ldots )} 的对偶定义为:

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 净迁移率这是一个关于各国净迁移率的列表,数据基于中情局的《世界概况》。正值代表净迁入,负值代表人口净迁出。
  • 独立国家联合体地区独立国家联合体(俄语:Содружество Независимых Государств),简称独联体(俄语:СНГ),苏联解体后由部分原苏联加盟共和国协调成立的一个国家联盟,其
  • 夏朗德省夏朗德省(法语:Charente)是法国阿基坦-利木森-普瓦图-夏朗特大区所辖的省份。该省编号为16。夏朗德省是于法国大革命期间,于1790年3月4日成立,为原来83个省份之一。以酿造葡萄酒
  • 原生质流细胞质流(英语:cytoplasmic streaming;也称为原生质流)是细胞内物质在真核细胞中流动的现象,能将营养、代谢物还有基因讯息均匀分布到较大细胞的每个角落。膜状细胞器沿着细胞骨
  • 造成至少50人死亡的空难列表此条目列出了自1923年至今的造成至少50人死亡的空难。包含商业航班、军事航班和货运航班。列表中记录有超过500次空难,共有超过540架飞机坠毁,事故地点包括所有7大洲和4大洋,死
  • 安德森卡尔·戴维·安德森(英语:Carl David Anderson,1905年9月3日-1991年1月11日),美国物理学家,因发现了正电子而获得1936年诺贝尔物理学奖。安德森出生在美国纽约,父母是瑞典移民。安德
  • 印刷品印刷是指将影像或文字原稿迅速大量复制的一种技术。一般使用印刷机将油墨印在纸张上,它是出版的基本组成部分。印刷机是能够在承印物上印刷的机械。活字印刷术被称为中国古代
  • 碧蓝幻想《碧蓝幻想》(日语:グランブルーファンタジー,英语:Granblue Fantasy)是由日本Cygames开发、Mobage负责运营的智能手机向的社群网络游戏。游戏宣传口号是“与你编织、空之物语”(
  • 奥托一世 (神圣罗马帝国)奥托一世(Otto I,912年11月23日-973年5月7日),东法兰克国王(936年—973年在位),神圣罗马帝国皇帝(962年加冕)。史称奥托大帝(Otto der Große)。东法兰克国王亨利一世之子,母为Ringlheim
  • 俄罗斯自治区俄罗斯的自治区(俄语:автономный округ),是俄罗斯联邦主体的类型之一,同时也是某些联邦主体行政区划的类型。截至2014年,俄罗斯联邦一共被划分为85个联邦主体,其中