推理规则

✍ dations ◷ 2025-04-24 22:48:57 #推理规则
在逻辑中,特别是数理逻辑中,推理规则(推论规则)是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中,新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证,但是形式化更加困难和有争议。按照规定,推理规则的应用纯粹是语法过程。尽管如此它必须是有效的,或者更精确地说保持有效性。为了使保持有效性的要求有意义,某种形式的语义与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑。命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑,推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。注意有很多不同的形式逻辑系统,每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。量子逻辑也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中,需要一个补充的推理规则。它叫做普遍化。在形式逻辑的设置(和很多有关领域)中,推理规则通常用如下形式给出:前提#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 } 不是逻辑运算符。它是一个催化剂,代谢真陈述来建立新陈述。推理规则必须区别于一个理论的公理,它是被假定为真而无须证明的断言。依据语义,公理是有效的断言。公理通常被当作应用推理规则和生成一组结论的起点。注意在推理规则和公理之间没有明确的区别,在规则可以被人工编码为公理或反之的意义上。例如,一个规则的前提的集合可以为空,所以结论总是为真。反过来说,一个公理通常假定是一个单一子句,但是实际上你可以指定生成一个公理的无限集合的模式,它浅薄的有着和推理规则有一样的形式。或者用更少的技术术语:规则是关于系统的陈述,公理是系统内的陈述。例如:在证明论中,推理规则在逻辑演算比如相继式演算和自然演绎的规定中扮演了关键角色。

相关

  • 电子显微镜电子显微镜(英语:electron microscope,简称电镜或电显)是使用电子来展示物件的内部或表面的显微镜。高速的电子的波长比可见光的波长短(波粒二象性),而显微镜的分辨率受其使用的波
  • 病原体病原体(希腊语:πάθος pathos “痛苦”、“热情” 与 -γενής -genēs “生产者”),在生物学中,从最古老和最广泛的意义上说,就是任何可以产生疾病的事物。病原体也可以称
  • ICD-9编码列表 (780–799)医学导航:泌尿系统解剖/生理/发育/细胞病理/酸碱/先天/肿瘤、症状/齐名、尿液手术/注射、药物(G4B)、血检、尿检
  • 亚历山大病亚历山大症(英语:Alexander disease)是一种缓慢恶化但致命的神经退行性疾病, 亚历山大症是一种非常罕见的疾病,起因于基因突变,主要影响婴幼儿和儿童,造成发育迟缓和身体特征的变化
  • 国务院安全生产委员会1999年规定:印章直径5厘米,中央刊五角星,由国务院制发。国务院安全生产委员会,是中华人民共和国国务院成立的国务院议事协调机构,负责安全生产工作。1984年11月26日,国务院批准了
  • 清蛋白结构 / ECOD白蛋白(英语:Albumin)又称清蛋白,旧称胉,是属于球状蛋白的一种蛋白质,但并不是球蛋白。在人体内它最重要的作用是维持胶体渗透压。在奶和蛋里也有白蛋白。人体内白蛋白
  • 7世纪601年1月1日至700年12月31日的这一段期间被称为7世纪。唐朝取代隋朝领导中国,而本世纪末期武周中断了李唐朝廷。经历“贞观之治”、“永徽之治”和“武周之治”后,疆域辽阔、
  • 保育生物学保育生物学(英语:conservation biology)又称保护生物学,是一门研究自然及地球上生物多样性的学科,目的是要保护各种生物物种、栖息地和整个生态系统,避免其受到物种过快灭绝及生物
  • 2#成对的概念<< 0 1 2 3 4 5 6 7 8 9 >>2(二)是1与3之间的自然数,2是唯一的偶数素数 (又称偶素数)。在现代标准汉语中,数词2在不同情况下,常常需要变换用字以适应需要,这一点在其他数词中是不存
  • 逻辑联结词在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我