肯定前件

✍ dations ◷ 2025-11-15 22:28:25 #肯定前件

在逻辑中,肯定前件(拉丁语:)是有效的、简单的论证形式(常缩写为MP):

肯定前件规则可以用相继式符号写为:

或用规则形式写为:

在元逻辑中肯定前件是切规则。切消定理声称切是在某些逻辑演算(相继式演算)中有效的(可容纳规则)。

这个论证形式有两个前提。第一个前提是"if-then"或逻辑条件断言,表示为P蕴涵Q。第二个前提是这个条件断言的前件P是真的。从这两个前提可以在逻辑上得出后件Q一定也是真的。

下面是符合这种肯定前件的论证的例子:

这个论证是有效的的事实不能确保在论证中的任何陈述是真的;肯定前件的有效性告诉我们结论必然是真的,如果所有前提是真的。记住在其中一个或多个前提不是真的的有效论证是的论证,而如果所有前提都是真的,则这个论证是。在多数逻辑系统中,肯定前件是有效的。但是它的应用实例可以是可靠的也可以是不可靠的。

使用肯定前件的命题论证被称为是演绎的。

肯定前件也叫做"分拆律"。

相关

  • 公害公害,是指在追求自身而不顾他人和公共环境的情况下,对社会和个人所造成的破坏或破坏源。 公害成立有三个要件: 一、妨害人民者,如公务人员可能对人民的危害。 二、可经由匿名检
  • 华盛顿间谍博物馆国际间谍博物馆(英语:International Spy Museum),是美国一家展示各种间谍装备和间谍活动史的私人博物馆。国际间谍博物馆位于美国首都华盛顿,成立于2002年7月19日,该博物馆是美国
  • 赵一琴赵一琴为中国清朝武官官员,本籍浙江。武举人出身的赵一琴于1766年(乾隆31年)奉旨接替陈启灿,于台湾地区担任台湾水师协副将。而隶属台湾镇之下的此官职是台湾清治时期的这阶段,全
  • 米斯坎蒂山坐标:23°41′S 67°43′W / 23.683°S 67.717°W / -23.683; -67.717米斯坎蒂山(西班牙语:Cerro Miscanti),是智利的山峰,位于该国北部安托法加斯塔大区,处于奇利克斯火山以南和米
  • 赵善津赵善津(1970年4月18日- ),韩国旅日职业围棋棋手,日本棋院职业九段。赵出生于光州,在赵治勋的激励下开始学习围棋,1982年赴日本留学,拜在安藤武夫七段门下,1984年入段,1991年夺得新人王
  • 中国哲学简史《中国哲学简史》(英语:)是冯友兰于1947年在美国宾夕法尼亚大学讲授中国哲学史的英文讲稿,后经整理,于1948年由麦克米伦公司出版。原版为英文,1985年经冯友兰的学生涂又光据英文本
  • 大目埕站大目埕站位于福建省福州市闽侯县白沙镇大目埕村西,距来舟站155公里,距福州站39公里。现为四等站。客运办理旅客乘降,不办理行李包裹托运;不办理货运业务。。设轨3股,站房面积368
  • 绿野心踪赖薇如、安钧璨、陆一龙 ),是一部以描写房新真实人生电视剧,由赖薇如、安钧璨、陆一龙主演,于2015年11月2日在大爱电视台首播。以下时间以当地时间(台湾时间)为准
  • 安德鲁·格雷格森安德鲁·格雷格森(泰语:แอนดริว เกร้กสัน,皇家转写:Andrew Gregson,英语:Andrew Gregson,1978年9月1日-),全名为安德鲁·查理·格雷格森(泰语:แอนดริว ชาลี เกร้กสัน,英语:Andrew Charlie Gregson),出生名为阿皮萨·格雷格森(泰语:อภิศักดิ์ เกร้กสัน,英语:Apisak Gregson)),昵称安迪(泰语:แอนดี英语:Andy)、德鲁(泰语:ดริว,英语:Drew),是一名泰德混血的泰国男演
  • 艾渥德艾渥德牧师(Ernest Richmond Atwater;1865年-1900年) 是一位美国公理会传教士。艾渥德来自俄亥俄州克利夫兰。1887年毕业于欧柏林学院,1888年与欧柏林毕业生Jennie Pond Atwater(1865-1896)结婚。1892年毕业于欧柏林神学院。1892年,32岁的艾渥德牧师受美国公理会差遣,携妻(Jennie Pond Atwater,27岁)和两个女儿Ernestine (1889–1900,3岁)和Mary (1892–1900,刚出生)一同前往中国传教,驻山