推理规则

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

相关

  • 查洛特–玛丽亚氏–齿病X1进行性神经性腓骨肌萎缩症,即(Charcot-Marie-Tooth disease、C-M-T,又称腓骨肌萎缩症、恰克-马利-杜斯氏症),是以三位最早发现此病的法国研究者的姓氏共同命名的。其主要表现是双
  • 色素色素(英语:pigment),有时称颜料,是能使物体染上颜色的物质。色素之所以会显示出颜色,在于它们能够反射或吸收某些波长的可见光的颜色。白光在光学频谱大约是混合了从375纳米到780
  • 氧氟沙星氧氟沙星(氟嗪酸, Ofloxacin)是一种人工合成、广谱抗菌的氟喹诺酮类药物。氧氟沙星合成于1982年,口服易吸收,快而完全,血药浓度高而持久,药物体内分布广。此抗生素适合做为最后一线
  • 高洋高洋可以指下列人物:
  • 黑龙江黑龙江(满语:ᠰᠠᡥᠠᠯᡳᠶᠠᠨᡠᠯᠠ,穆麟德:sahaliyan ula,太清:sahaliyan ula,蒙古语:Амар мөрөн),俄罗斯称之为阿穆尔河(俄语:Река Амур,罗马化:Reka Amur,IPA:.mw-pa
  • 宏观经济学宏观经济学(英语:Macroeconomics,来自希腊语前缀makro-意为“大”+经济学),是指用国民收入、经济整体的投资和消费等总体性的统计概念来分析经济运行规律的一个经济学领域。宏观
  • 金融经济学金融经济学(英语:Financial economics)(有人误译为财务经济学)是经济学的分支,主要研究在不确定的环境中,如何跨越时间与空间,配置经济资源。它主要集中在研究货币资产的交易活动,
  • 健康促进根据世界卫生组织(WHO)的定义,健康促进是指促使人们提高与改善健康状态的过程。在美国一般采用狭义的定义,即指帮助人们改变其生活习惯以达到理想健康状态的一门科学与艺术。198
  • 钻石尘钻石尘(英语:Diamond dust)是一种能在地面附近观测到的微小冰块。亦作“钻石粉尘”或“钻石星尘”,有的称作“冰晶”。这些小冰块经常出现在逆温时期,热空气与冷空气混合的时候。
  • 左冠状动脉左冠状动脉(arteria coronaria sinistra,英文简称LCA),又称左主冠状动脉(left main coronary artery,简称LMCA)为主动脉的一条分支,负责供应心脏左侧的血流。其源自于主动脉瓣(英语:ao