德摩根定律

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

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

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

即:

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

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

在集合论中:

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

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

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 癫痫症癫痫症(英语:Epilepsy),是一种神经性疾患(英语:Neurological disorders),特征为反复地癫痫发作,即为重复发作或长或短的严重抽搐症状,可能会造成物理性伤害,甚至骨折。癫痫症的定义是,患
  • 金泽医科大学なす紺各学域人間社会学域理工学域金泽大学(日语:金沢大學/かなざわだいがく Kanazawa daigaku;英语译名:Kanazawa University),简称金大(きんだい),是一所本部位于石川县金泽市的日
  • 3s2 3p62, 8, 8蒸气压第一:1520.6 kJ·mol−1 第二:2665.8 kJ·mol−1 第三:3931 kJ·mol−1 (主条目:氩的同位素氩(Argon)元素的化学符号是Ar,原子序是18,位在周期表的第18族,是
  • 婶,又称婶母、叔母,是中文中亲属关系的称谓,是指叔叔的妻子,口语又称婶婶、婶子、婶娘、阿婶,在现实社会,亦可作中年女性或女性长辈的称呼,或称大婶。英文中,婶、姨妈等统称为Aunt。
  • 纪培慧纪培慧(英文名:Teresa Daley,日文名:テレサ・チー,1989年6月1日-),台美混血儿,父亲为美国人、母亲台湾人,在美国出生。台北市私立大同高级中学、中国文化大学俄国语文学系毕业。曾经演
  • 水牛城辣鸡翅布法罗辣鸡翅(Buffalo wings,在美国东北部简称wings)是采用鸡翅的中下部(分flats和drums),不上面粉油炸,再上以辣椒为原料的酱汁及其他调味。虽然各家有各自的酱汁配方,原本的酱汁只
  • 商业周刊 (台湾)《商业周刊》(英语:Business Weekly),简称《商周》,是台湾一本以财经相关报导为主要内容的周刊,在1987年发行,每周四出刊。“最佳专题报导奖”-第1249期封面故事“阿共、银弹、虱目
  • 米歇·翁福雷米歇·翁福雷(Michel Onfray)(1959年1月1日出生)当代法国哲学家,奉行感质主义,无神论和无政府主义。他是一个多产的作家,写过超过50本哲学书。其思想很大的启发于法国后现代唯物主
  • 约翰·戈顿约翰·格雷·戈顿爵士,GCMG,AC,CH(英语:Sir John Grey Gorton,1911年9月9日-2002年5月19日),澳大利亚政治家也是第19任澳洲总理。他曾在1950年2月22日到1968年2月1日出任维多利亚州上
  • 何光宇何光宇,1910年-2008年6月11日,湖北大悟,中国人民解放军将领、中国人民解放军开国少将。1929年加入中国共产党,曾任中国人民解放军贵州军区第二副司令员兼参谋长、中国共产党第九