德摩根定律

✍ dations ◷ 2025-09-08 18:06:12 #布尔代数,逻辑,对偶理论

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

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

即:

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

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

在集合论中:

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

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

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 超显微镜超显微镜(英语:Ultramicroscope),别称暗视场显微镜(英语:Dark field microscope)。因为在胶体分散系中存在着显著的散射现象,所以可以从与入射光垂直的方向观察胶体粒子的散射光
  • 过敏性湿疹异位性皮肤炎(Atopic dermatitis,简称AD),又叫过敏性皮肤炎或异位性湿疹(Atopic eczema),常见症状包含发痒、红肿,以及皮肤龟裂。发炎区域常有清澈液体流出,液体会随着发炎时间越久而
  • 人口迁移人口迁徙是一种人类族群集体或个别改变居住地域的现象,其形式有自愿或非自愿、合法或非法之别,原因则可能包括(但不限于)资源短缺、气候变迁、战争、奴隶贸易、种族清洗、政治迫
  • 超声波牙刷超声波(超音波)牙刷是一种发射超声波的电动牙刷,能够移除牙菌斑,使形成牙菌斑的细菌变得无害。超声波被定义为超出人类听力频率范围外的一连串声波。超声波牙刷通常采用植入式
  • 贫铀弹贫化铀弹(Depleted uranium ammunition)又称衰变铀弹或耗弱铀弹,是指弹体使用来自浓缩铀的尾矿(并非来自核电厂的核废料)为主原料的合金所制作出的弹头。由于在实战、演习、射击
  • 森田疗法森田疗法(英语:Morita therapy)是日本已故精神医学家森田正马于1919年创立的,目前被公认为对治疗神经质症,尤其是强迫症、焦虑症等有较好疗效的疗法。因其治疗的方式,森田疗法,又被
  • 丙酸铜丙酸铜是铜(II)的丙酸盐,化学式为Cu(CH3CH2COO)2,或简写为Cu(prop)2。丙酸铜晶体属三斜晶系,晶格参数a=9.58Å, b=5.22Å, c=8.55Å;α=105°55′, β=92°33′, γ=91°7′。丙
  • 马哈茂德·法尔希奇扬马哈茂德·法尔希奇扬(波斯语:محمود فرشچیان‎,Mahmud Faršciyân;1930年1月24日-),伊朗伊斯法罕人,伊朗画家,以细密画见长。法尔希奇扬的父亲是位地毯商,也是艺术爱好者
  • 佐米革命军“佐甘(英语:Zogam)” 孟加拉国 印度  缅甸 佐米革命军(缅甸语:ဇိုမီး လွတ်လပ်ရေး တပ်မတော်,英语:Zomi Revolutionary Army,简称ZRA),是伴随着印度曼尼普
  • 安东·弗里德尼希·尤斯图斯·蒂博安东·弗里德尼希·尤斯图斯·蒂博(德语:Anton Friedrich Justus Thibaut,1772年1月4日-1840年3月20日),德国法学家,其所著《罗马法制度》的总论为德国关于罗马法的教科书。