推理规则

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

相关

  • 气喘喘息 、哮喘(英语:asthma,又称气喘)是常见的气道慢性炎症疾病,主要特征是多变和复发的症状、可逆性气流阻塞,和支气管痉挛(英语:bronchospasm)。常见症状表现为喘息 、咳嗽、胸腔紧
  • 北美洲北亚ç¾åˆ©åŠ æ´²ï¼ˆè‹±è¯­ï¼šNorth America;字æºï¼šäºšç¾åˆ©å“¥Â·ç»´æ–¯æ™®è¥¿ï¼‰ï¼Œç®
  • 髓在中医药学的脏象上,是指奇恒之腑之一,包括骨髓和脊髓。髓由肾精所化生,与脑相通,有充养骨骼、补益脑髓的功能。《黄帝内经》将分为脑髓、骨髓、脊髓。中医认为髓与肾的关系密
  • 抗抑郁症药物抑郁症,亦称忧郁症,是一类以抑郁心境为主要特点的情感障碍。它主要包括:重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为:长时间持续的抑郁情绪,并且这种情绪明显超过
  • 咸丰帝清朝第9位皇帝孝钦显皇后叶赫那拉氏咸丰帝(1831年7月17日-1861年8月22日),爱新觉罗氏,名奕
  • 萜烯萜烯(英语:terpene,简称萜,旧称䓝,词由松节油“turpentine”而来)是一系列萜类化合物的总称,属脂类,不溶于水,是分子式为异戊二烯(C5H8)的整数倍的烯烃类化合物。萜烯是一个庞大而多样
  • Taenia solium猪带绦虫(学名:Taenia solium;pork tapeworm),也称有钩绦虫或链状带绦虫,体长2-3米,宽7-8毫米,共有800-900个节片,后端成熟节片长约10毫米。
  • 图书馆学图书馆学是一门研究图书馆收集、加工、整理、保藏、控制、传递和利用文献信息的理论、方法以及图书馆事业发展规律的科学,是一门综合性学科。“图书馆学”一词最早由德国图书
  • DVD数字多功能影音光盘(英语:Digital Versatile Disc,缩写:DVD)是一种光盘存储媒体,通常用来播放标清(标准解晰度)的电影,高清音质的音乐与大容量存储数据用途。DVD与CD或蓝光光盘(Blu-ra
  • 混合语言混合语(英语:mixed language)是指多种语言融合产生的语言。目前已知的混合语都是两种语言的混合。虽然语言间的相互借用和影响非常普遍,但是真正的混合语并不多。混合语的产生有