德摩根定律

✍ dations ◷ 2025-09-16 22:46:56 #布尔代数,逻辑,对偶理论

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

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

即:

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

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

在集合论中:

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

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

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 地图学small/small地图学(英语:Cartography;希腊语:χάρτης ,即为英文的Mapmaking,chartis是地图,graphein是编写之意)是研究地图的理论、编制技术与应用方法的科学。传统的地图制作是利用纸和
  • 油桃桃驳李(学名:Prunus persica var. nectarina),又名油桃,是一种果实作为水果的落叶小乔木,源于中国的水果,在亚洲及北美洲皆有分布。基于过往错误的认识,“桃驳李”被认为是一种把桃
  • 火卫一火卫一,又称为“福波斯”(英语:Phobos;希腊语:Φόβος;系统名称:Mars I),是火星的两颗自然卫星中,距离火星较近且较大的一颗,平均半径为11.1km,是另一颗卫星火卫二的1.8倍。火卫一的
  • 神经内分泌肿瘤神经内分泌肿瘤(英语:Neuroendocrine tumor,简称NET),一种由内分泌系统或神经系统的细胞,所形成的肿瘤。大多数是良性的,但也有属于恶性肿瘤的案例。它大多数出现在胰脏、小肠等肠
  • 白日梦白日梦是指清醒时的脑内所产生的幻想及影像,通常是开心的念头、希望或野心。白日梦的确实种类,心理学家现时仍未有定案。白日梦有时是未来的情景或计划,或者是过去的回忆,就像梦
  • .fk.fk为英国海外属地福克兰群岛国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .bf .bg .bh
  • 蔷薇水蔷薇水是蔷薇属植物花瓣蒸馏液的水相部分,也叫玫瑰水、蔷薇露、酴醿露、酴醿香露、大食水、古剌水(讹作古刺水)、古喇水(波斯语:گلاب‎,)。蔷薇属植物花瓣蒸馏液的油相部分称为
  • TWIN PLANETTWIN PLANET(日语:ツイン・プラネット)是日本的演艺经纪公司。相关企业有TWIN PLANET ENTERTAINMENT、White Base株式会社及LIDDELL株式会社。公司名称原本以首字大写写作“Twi
  • 薄珏薄珏(?-?),字子珏,长洲(今苏州)人,明末清初时机械制造家。明崇祯年间(1628年—1644年),为巡抚张国维制造装有千里镜的铜炮,又制水车、火铳、地雷、地弩等器。著有《浑天仪图说》、《格物测
  • 派克峰国际爬山赛派克峰国际爬山赛(英语:Pikes Peak International Hill Climb,常简称为PPIHC),或被昵称为“The Race to the Clouds”,是一个每年都会在美国科罗拉多州科罗拉多泉(Colorado Spring)