双重否定除去

✍ dations ◷ 2025-11-01 15:33:40 #双重否定除去

在命题逻辑里,双重否定除去(或双重否定介入)此一推理规则允许导入(双重否定介入)或除去(双重否定除去)一对否定来导出等价的公式。这是基于如

在语义上的等价。

形式上,双重否定除去为

  ¬¬A  ∴ A

形式上,双重否定介入为

  A        ∴ ¬¬A

这两个规则可以重述如下(以相继式的形式):

应用演绎定理于这两个推理规则中可产生一对有效的条件公式:

两者可以结合成单一个双条件公式

因为双条件是一个等价关系,任一于合式公式中的~~都可以由所取代,而不改变此合式公式的真值。

双重否定除去是经典逻辑里的一个定理,但不是直觉逻辑里的。因为直觉逻辑在结构上的偏好,“不是没有正在下雨”此一陈述比“正在下雨”要弱。后者需要有下雨的证明,而前者只需要证明下雨不会矛盾。(此一差别亦出现在自然语言的反叙法之中。)

在集合论里也有符合此性质的补集否定运算:集合A和集合 (AC)C(这里的AC表A的补集)是相同的。

相关

  • 明史《明史》是二十四史中的最后一部,是一部纪传体的史书。清朝明史馆官修,张廷玉等主撰,全书共三百三十二卷,计本纪二十四卷、志七十五卷、表十三卷、列传二百二十卷;记明代史事,起自
  • 艋舺王宅二进遗构艋舺王氏家族是一个发迹于台北万华地区的家族,其创始者为来自福建泉州惠安溪底的王义德。
  • 大相国寺大相国寺,又名信陵寺、建国安业寺、福慧寺,位于中国河南省开封市,是中国汉传佛教十大名寺之一,原是战国四公子之一的魏信陵君故邸。寺庙在开封,是战国魏国首都大梁,寺庙的地址即时
  • 伊耶罗尼姆·彼得罗维奇·乌博列维奇伊耶罗尼姆·彼得罗维奇·乌博列维奇(俄语:Иерони́м Петро́вич Уборе́вич,1896年1月14日-1937年6月12日),苏联军事家,一级集团军级军衔(1935年时授予),在俄
  • 金迪奥火山金迪奥火山是哥伦比亚的火山,位于该国西部,属于安第斯山脉的一部分,最高点海拔高度4,760米,是热门的旅游地点,该火山没有火山喷发的记录。
  • 日本使馆旧址日本使馆旧址,位于北京市东城区正义路2号(北京市人民政府院内),是日本驻华大使馆旧址。清朝光绪二十六年(1900年)之前位于江米巷北侧的日本公使馆,在1900年义和团围攻使馆区时并未
  • 欧阳诰欧阳诰(?-?),字赐之,江西吉安府泰和县人,民籍,明朝政治人物。江西乡试第三十一名举人。弘治十五年(1502年)中式壬戌科二甲第二十四名进士。官汉阳府知府。曾祖欧阳永仁;祖父欧阳广濬,恩例
  • 弗莉玛·阿吉曼弗莉玛·阿吉曼(英语:Freema Agyeman,1979年3月20日-),是一位英国女演员,最知名于在《神秘博士》中饰演博士的同伴玛莎·琼斯(Martha Jones),曾出演《超感8人组》中的阿曼尼塔·“尼茨”·卡普兰。目前,她在节目《New Amsterdam》中扮演肿瘤科医生Helen Sharpe。Agyeman出生于伦敦。 她的母亲Azar是伊朗人,她的父亲Osei是加纳人。 她年轻时,他们离婚了。 阿格曼(Agyeman)有一个姐姐莱拉(Leila)和一个弟弟多米尼克(Dominic)。
  • 刘章 (宣处侯)刘章(?-前68年),西汉中山糠王刘昆侈子。本始三年(公元前71年)六月,封宣处侯。地节二年(公元前68年)去世。谥号节。子刘众袭爵。
  • 阿德米尔阿德米尔(葡萄牙语:Ademir,1960年1月6日-),巴西男子足球运动员,场上位置是中场。他曾代表巴西国奥队参加1984年和1988年夏季奥林匹克运动会足球比赛,获得二枚银牌。