肯定前件

✍ dations ◷ 2025-06-30 16:08:28 #肯定前件

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

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

或用规则形式写为:

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

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

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

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

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

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

相关

  • 何赛·费南德兹何赛·费尔南德斯 (西班牙语:José D. Fernández,1992年7月31日-2016年9月25日),是一位古巴裔美国籍的职业棒球员,曾效力于美国职棒大联盟迈阿密马林鱼队,守备位置为投手,右投右打,为
  • 接触感应接触感应(Psychometry)是一种超感官知觉,能够以超常的方式,借由物质接触从物体上取得关于持有者的个人讯息。Psychometry来自希腊语的ψυχή(psyche)和μέτρον(metron) ,意思
  • 瓦拉瓦拉瓦拉瓦拉(Walla Walla)美国华盛顿州瓦拉瓦拉郡最大的城市,也是该郡的郡治。2010年美国人口普查时人口为31,731人。瓦拉瓦拉位于华盛顿州的东南区,距西雅图约四小时的车程,离俄勒
  • 克莱尔·克莱尔蒙特克莱尔·玛丽·珍·克莱尔蒙特(英语:Claire Mary Jane Clairmont,1798年4月27日-1879年3月19日),英国人,是作家玛丽·雪莱没有血缘关系的姐妹(她的母亲再嫁给玛丽的父亲威廉·戈德温
  • 其他落后阶层其他落后阶层,是印度政府对社会和教育方面处于劣势的种姓的统称。根据印度人民党曼达勒委员会1980年的报告,其他落后阶层被认为占人口的52%,到2006年全国抽样调查组织发生时,该数
  • 精算符号精算符号是精算用的一套速记法,以便写出与利率和生命表相关的数学公式。现有的记法,把上标和下标放在主要符号的左或右边,像光晕一样围绕着。以下会列出一些例子。有些建议的方
  • King Kong by STARSHIP娱乐King Kong by STARSHIP娱乐(韩语:킹콩 by 스타쉽),是韩国的经纪公司,原名为King Kong娱乐(韩语:킹콩엔터테인먼트),于2009年成立。2017年,STARSHIP娱乐宣布与King Kong娱乐正式合并,演
  • 条件评估法条件评估法(Contingent Valuation Method),又称“假设市场评价法”、“条件评价法”,是一种经济价值评估方法,属于直接评估法。常用以评估自然资源、环境品质、文化资产或公共建设等因市场不存在或市场资讯不足而无法估计之价值或效益。所评估之效益包含使用价值、选择价值、存在价值及遗赠价值。透过问卷调查,以建立一个假设性市场,并直接访问受访者对于某非市场财货的最高愿付金额(Willingness-to-pay, WTP)或最低接受金额(Willingness-to-accept, WTA)的
  • 乔治·让·内森乔治·让·内森(英语:George Jean Nathan,1882年2月14日-1958年4月8日)是美国戏剧评论家和杂志编辑。
  • 米尔科·诺拉克米尔科·诺拉克(克罗地亚语:Mirko Norac;塞尔维亚语:Мирко Норац;塞尔维亚-克罗地亚语:Mirko Norac;1967年9月19日-),克罗地亚军队第118旅的指挥官,参加过克罗地亚独立战争。1995年9月25日,他被提升为少将军衔。2000年,参与签署《十二将军公开信》。2001年被拘捕。2004年被指控战争罪和反人类罪,判处12年徒刑。2007年改判处七年有期徒刑。2011年11月获释。