推理规则

✍ dations ◷ 2025-09-18 21:58:09 #推理规则
在逻辑中,特别是数理逻辑中,推理规则(推论规则)是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中,新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证,但是形式化更加困难和有争议。按照规定,推理规则的应用纯粹是语法过程。尽管如此它必须是有效的,或者更精确地说保持有效性。为了使保持有效性的要求有意义,某种形式的语义与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑。命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑,推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。注意有很多不同的形式逻辑系统,每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。量子逻辑也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中,需要一个补充的推理规则。它叫做普遍化。在形式逻辑的设置(和很多有关领域)中,推理规则通常用如下形式给出:前提#1  前提#2  ...  前提#n   结论这个表达式声称,在某个逻辑推导期间已经获得了给定前提,同样可以认可特定结论。用来描述前提和结论二者的的精确的形式语言依赖于推导的实际上下文。在一个简单的情况下,你可以使用逻辑公式,比如A→B  A     B它是命题逻辑的肯定前件规则。推理规则通常通过使用全称变量而公式化为规则模式。在上面的规则(模式)中,A和B可以被实例化为论域(有时约定为某种受限制的子集比如命题)的任何元素,来形成推理规则的无限集合。证明系统形成自一组规则,它们可以被链接在一起形成证明或推导。任何推导都只有一个最终结论,它是要证明或推导的陈述。如果在推导中留下了未满足的前提,则推导就是假言陈述:"如果前提成立,那么结论成立"。在规则的集合中,一个推理规则可能是多余的,在它是“可接纳的”或“可推导的”的意义上。一个可推导规则是可以使用其他规则从它的前提推导出它的结论的规则。可接纳规则是只要前提成立结论就成立的规则。所有可推导规则都是可接纳规则。要鉴别它们的区别,考虑定义自然数的下列规则集合(判断 n n a t {displaystyle n,,{mathsf {nat}}} 断言 n {displaystyle n} 是自然数的事实):第一个规则声称0是自然数,第二个声称s(n)是自然数,如果n是自然数。在这个证明系统中,下列规则示范了自然数的第二个后继者也是自然数,是可推导的:它的推导只是上述后继规则的两次使用的复合。下列规则断言任何非零自然数有前驱者存在,只是可接纳的:这是自然数的事实,并可以通过数学归纳法证明。(要证明这个规则是可接纳的,你可以假定这个前提的一个推导,并在其上归纳出生成 n n a t {displaystyle n,,{mathsf {nat}}} 的推导)。但是,它不是可推导的,因为它依赖于前提的推导的结构。为此“可推导性”在增加到证明系统下是稳定的,而“可接纳性”不是。要看出区别,假设下列无意义规则被增加到证明系统:在这个新系统中,双后继规则仍是可推导的。但是,找到前驱者的规则不再是可接纳的,因为没有方式来得到 − 3 n a t {displaystyle mathbf {-3} ,,{mathsf {nat}}} 。可接受性的脆弱来自它被证明的方式:因为这个证明可以归纳于前提的推导的结构上,对系统的扩展向这个证明增加了新情况,而它可能不再成立。可接纳规则可以被认为是一个证明系统的定理。例如,在相继式演算中切消成立,“切”规则是可接纳的。推理规则也可以用如下形式陈述:(1)某些(比如零)前提,(2)十字转门(turnstile)符号 ⊢ {displaystyle vdash } ,它意味着"推出"、"证明"或"得出",(3)一个结论。十字转门符号化了执行能力。蕴涵符号 → {displaystyle rightarrow } 没有这种能力:它只指示潜在的推理。 → {displaystyle rightarrow } 是另一个逻辑运算符,它运算于真值之上。 ⊢ {displaystyle vdash } 不是逻辑运算符。它是一个催化剂,代谢真陈述来建立新陈述。推理规则必须区别于一个理论的公理,它是被假定为真而无须证明的断言。依据语义,公理是有效的断言。公理通常被当作应用推理规则和生成一组结论的起点。注意在推理规则和公理之间没有明确的区别,在规则可以被人工编码为公理或反之的意义上。例如,一个规则的前提的集合可以为空,所以结论总是为真。反过来说,一个公理通常假定是一个单一子句,但是实际上你可以指定生成一个公理的无限集合的模式,它浅薄的有着和推理规则有一样的形式。或者用更少的技术术语:规则是关于系统的陈述,公理是系统内的陈述。例如:在证明论中,推理规则在逻辑演算比如相继式演算和自然演绎的规定中扮演了关键角色。

相关

  • RNA复制酶结构 / ECOD结构 / ECODRNA复制酶(RNA replicase),或名RNA依赖性RNA聚合酶(RNA-dependent RNA polymerase 缩写RdRp或RDR),系一类能以RNA为模板复制RNA的酶。值得注意的是,这类酶和
  • 利德尔综合症李德尔氏综合征(Liddle's syndrome、假性醛固酮增多症)是常染色体显性遗传(Dominance (genetics))疾病、特征在于早期频繁严重的高血压,以及与低血浆肾素活性、代谢性碱中毒(
  • 糖肽类抗生素糖肽类抗生素(glycopeptide antibiotic)是指一类化学本质为有糖基修饰的多肽链的抗生素。组成糖肽类抗生素的多肽可能是环形或线性,由属于非核糖体合成肽。糖肽类抗生素的达到
  • PPM百万分率(英语:parts per million,缩写作ppm),定义为百万分之一,1ppm即是一百万分之一。可以用在衡量生产品质及医学、化学的计量上,例如对客户的出货ppm保证在30ppm以下,公司内制程
  • 奎宁奎宁(法语:quinine),又称金鸡纳霜,化学上称为金鸡纳碱,分子式C20H24N2O2,是一种用于治疗与预防疟疾且可治疗焦虫症(拉丁语:Babesiosis)的药物。在治疗恶性疟原虫时,如果病原体对于氯喹
  • 苔原气候苔原气候是极地气候两大类型之一,在柯本气候分类法中标记为ET。北半球主要分布于亚洲、欧洲及北美的北冰洋沿岸地区;南半球同纬度地区为海洋所覆盖,除南极洲沿海个别岛屿以外,基
  • 磺胺硫脲磺胺硫脲是一种磺胺类药物,其INN名称是“Sulfathiourea”。该药物可用于治疗由细菌感染引发的疾病。该药物在血液中的半衰期尚不明确。该药物分子是经将硫脲中的一个氢原子取
  • 武汉同济医院武汉同济医院(又名华中科技大学同济医学院附属同济医院,英文为Wuhan Tongji Hospital),是一家集医疗、教学、科研于一体的综合医疗机构,是华中科技大学同济医学院的附属医院之一,
  • 异亮氨酸异亮氨酸(Isoleucine、简写:三字母: Ile;一字母: I)是二十种基本氨基酸的其中一种,几乎在所有蛋白质的结构里都存在着。其化学组成和亮氨酸完全一样,但原子连接/排列顺序不同,因此
  • 数学哲学数学哲学是哲学的一个分支,研究数学中的哲学问题的学科。从毕达哥拉斯到康德的众多思想家都有许多数学哲学的重要思想,但作为专门学科直到十九世纪中叶以后才逐渐建立起来。着