德摩根定律

✍ dations ◷ 2025-06-29 22:09:28 #布尔代数,逻辑,对偶理论

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

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

即:

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

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

在集合论中:

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

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

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 喘息喘鸣(英语:Wheeze, Sibilant Rhonchi),又称啰音,是指呼吸过程中呼吸道持续产生的粗糙声音。哮鸣发生的原因是由于呼吸道的某些部分缩小或被堵塞,亦可能是呼吸道内的气流速度提高。
  • 米兹拉希犹太人米兹拉希犹太人(希伯来语:מזרחים,现代 Mizraḥim,提比里安 Mizrāḥîm,意为“东方人”),为居于中东、中亚和高加索地区的犹太人的后裔。现有人口约175万人,其中超过130万居于
  • 康普顿伽玛射线天文台<font size="-1" color="#ffffff康普顿伽玛射线天文台(Compton Gamma Ray Observatory,缩写为CGRO)是美国宇航局于1991年发射的一颗伽玛射线天文卫星,是大型轨道天文台计划的第
  • 中国传统游戏列表中国传统游戏,可分为棋类、牌类、猜射等类型。若干项目被列入中国国家级非物质文化遗产。
  • 军事独裁军事独裁(英语:military dictatorship),又称军政府(military junta),一种独裁政体形式,独裁者透过军队维持其政治权力。它类似于军政(Stratocracy),但在概念上略有不同,军政是指直接由军
  • 纯文字文本文件一般指只有字符原生编码构成的二进制计算机文件,与富文本相比,其不包含字样样式的控制元素,能够被最简单的文本编辑器直接读取。由于结构简单,文本文件被广泛用于记录信
  • 罗得岛州市镇列表罗得岛州是位于美国东北部的州份。2010年美国人口普查显示,罗得岛州是美国人口第八少(州内人口共70061052567000000001,052,567人)及面积最小(1,033.81平方英里(2,677.6平方千米)
  • 洪卜仁洪卜仁(1928年-2019年),男,福建厦门人。中国方志学者,厦门文史专家,福建省文史研究员。被誉为“厦门活字典”。1928年6月16日生。1940年小学毕业。入同文中学读初一,1941年12月8日,因
  • 杜马·索德诺姆杜马·索德诺姆(蒙古语:Думаагийн Содном,1933年7月14日- )蒙古族,蒙古东戈壁省奥尔根县(英语:Örgön)人,蒙古政治人物,1984年至1990年担任蒙古人民共和国部长会议主席
  • 堀场一雄堀场一雄(堀場 一雄(ほりば かずお)、1901年(明治34年)2月1日-1953年(昭和28年)10月21日)为日本陆军军人。最终阶级陆军大佐。爱知县出身。1953年(昭和28年)10月21日 病没 1953年10月21