肯定前件

✍ dations ◷ 2025-08-24 08:05:12 #肯定前件

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

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

或用规则形式写为:

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

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

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

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

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

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

相关

  • 非有想生非想非非想天(梵语:naiva-saṃjñin-nāsaṃjñin,巴利语:neva-saññā-nāsaññā),也称作非想非非想处、非想非非想处天、有顶天(梵语:भवाग्र,转写:Bhava-agra,谓三有界之顶
  • 里士满格言:Sic dic Itur Ad Astra (Thus do we reach the stars)里士满市(Richmond)是美国弗吉尼亚州首府,总人口约20万,是该州人口最多的城市之一,都会区人口超过100万,是该州第三大都
  • 朱塞佩·塞吉朱塞佩·塞吉(意大利语:Giuseppe Sergi;1841年-1936年)二十世纪初意大利人类学家,他的地中海人种概念是二十世纪初重要的种族理论。他出生于西西里岛墨西拿,首先学习法律,然后语言学
  • 宫崎骏 (职棒球员)宫崎骏(みやざき はやお、1990年11月27日- ),是福冈软件银行鹰队所属的日本职业棒球选手(内野手・育成选手)。与知名的动画导演、吉卜力的创办人宫崎骏同名同姓。由于出生的1990年
  • 后藤爱后藤爱(日语:後藤 愛/ごとう あい ,1983年10月20日-),日本女子羽毛球运动员。岐阜县出生,毕业于岐南中学校、岐阜商业高校及东海女子大学,其后加入NTT东日本株式会社。现隶属于NTT东
  • 沃尔夫冈·林德勒沃尔夫冈·林德勒(德语:Wolfgang Rindler,1924年5月18日-2019年2月8日),生于维也纳,犹太裔物理学家,研究领域为广义相对论。他引入了“事件视界”一词,以及林德勒座标。与罗杰·潘洛
  • 任国任国为周代的诸侯,在今天的山东济宁市任城区,泗上十二诸侯之一,一直充当小国的角色,为齐、晋、鲁等大国的政治资本,后来亡于战国时代.有仍氏又名有任氏,风姓,居于山东济宁微山湖畔,是
  • 英雄萨姆3:BFE《英雄萨姆3: BFE》(英语:Serious Sam 3: BFE,港台译作“重装武力3”,BFE是Before First Encounter的缩写)是由Croteam开发,Devolver Digital发行的第一人称射击游戏。游戏是英雄
  • 范甯范甯(约339年-401年),字武子,南阳顺阳(今河南省淅川县李官桥镇)人。 晋徐兖二州刺史范汪之子,东晋经学家,曾任豫章太守。范甯亦是《后汉书》作者范晔之祖父。范甯年少专心勤学,博览群书,辅政的会稽王司马昱打算任用他,但因范甯父范汪与掌时当权的大司马桓温有过节,故在桓温反对下作罢。而亦因桓温的关系,桓温在世时范氏一门都没有人任官。宁康元年(373年),桓温去世,此后35岁左右的范甯才获授余杭县令。范甯在余杭兴办学校,培养学生,施行儒教并以身作则,令有志行的人都尊重他。而在他的努力下,一年后当地就大行儒家
  • 茉德·阿帕图茉德·阿帕图(英语:Maude Apatow,1997年12月15日-)是一名美国女演员,父母分别为知名喜剧家贾德·阿帕托和知名喜剧演员莱丝莉·曼恩。年幼时期就和妹妹艾瑞丝·阿帕托参与父母的作品,像是电影《一夜大肚》(2007年)、《命运好好笑(英语:Funny People)》(2009年)、《40惑不惑?》(2012年),最近则是2020年电影《史泰登岛国王》。她较知名的作品有HBO原创作品《亢奋》,她在里面饰演Lexi Howard,为主角Rue Bennett(Zendaya 饰演)的朋友;以及莱