德摩根定律

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

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

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

即:

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

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

在集合论中:

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

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

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

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

以及

但,应用德摩根定律,

以及

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

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

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

相关

  • 盎格鲁-撒克逊盎格鲁-撒克逊模式、盎格鲁-撒克逊经济或盎格鲁-撒克逊资本主义(因率先在如美国、英国、加拿大的实行而得名),是一种资本主义经济模式。在2008年金融海啸过后,许多人对此模式发
  • 精华町精华町(日语:精華町/せいかちょう Seika chō */?)是位于京都府南部的行政区划,木津川从辖区东侧通过,辖内西部与南部为丘陵地,主要市区位于东部的平原。由于被划入关西文化学术
  • 意识上传心灵上传(英语:Mind uploading),或称为意识上传、全脑仿真(Whole brain emulation),是一种科幻技术,该技术可以把人类脑部的所有东西(包括意识、精神、思想、记忆)上传至计算设备(如电
  • 瓜子瓜子是在亚洲部分地区常见的一种零食,原料为西瓜或葵花的籽。其中,南亚所产的一种无壳的瓜子最为独特。瓜子通常是炒熟或煮熟,为了增加风味可以同时加入盐、花椒、桂皮、大茴等
  • 便携式防空导弹便携式防空导弹(英文:Man-Portable Air-Defence System,MANPADS),又称肩射防空导弹或地对空火箭炮,是可以由人员独自携带与发射的轻型面对空导弹。通常使用红外制导打击低空飞行的
  • 魁北克人党魁北克人党(法语:Parti Québécois),简称魁人党,是加拿大魁北克省的一个左翼省级政党。该党以魁北克独立为宗旨,并支持劳工运动。1968年由瑞内·勒维克创建,2007年起宝琳·马华担
  • 湖广等处承宣布政使司湖广等处承宣布政使司,简称湖广布政使司、湖广布政司,是明朝在江汉平原和洞庭湖流域等地的一级行政区及其行政机关名,为当时的明朝中国本部15个一级行政区(2京13省)及13个承宣布
  • 回流 (实验装置)回流(英语:Reflux)是一种实验操作,用于液态反应体系。有时反应物或溶剂沸点较低,为了不使物料过快气化而损失,通常在反应容器(常为圆底烧瓶)上方安装冷凝管,这样反应物或溶剂蒸气将遇
  • 1,3-二硫戊环1,3-二硫戊环是一种有机化合物,化学式为C3H6S2。它可由三硫代碳酸钠和乙二硫醇(或1,2-二溴乙烷)的反应来制备。它可以被氧化为1,3-二硫戊环-1,1,3,3-四氧化物(砜)。1,3-二噻戊环
  • 鲍明晓鲍明晓(1962年-),安徽芜湖人,教授、博士生导师,现任国家体育总局体育科学研究所研究员,享受国务院特殊津贴专家。1983年7月,毕业于安徽师范大学体育系,毕业后分配至安庆师范学院任教