演绎推理

✍ dations ◷ 2025-09-10 14:49:40 #演绎推理
演绎推理(英语:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是“结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理”。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。“演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或“结论在确定性上,同前提一样”的推理。任何三角形只可能是锐角三角形、直角三角形和钝角三角形。——大前提这个三角形既不是锐角三角形,也不是钝角三角形。——小前提所以,它是一个直角三角形。——结论更加形式化的说,演绎是陈述的序列,每个陈述都可以从它前面的陈述推导出来。本质上,这导致了如何证明第一个句子的公开问题(因为它不能从任何事物得到)。公理化命题逻辑通过要求证明满足下列条件来解决这个问题:来自 wff 的全体 Σ 的证明 α 是一个 wff 的有限序列:这里的并且对于每个 βi (1 ≤ i ≤ n),不同版本的公理化命题逻辑都包含一些公理,通常是三个或多于三个,除了一个或更多的推理规则之外。例如弗雷格公理化的命题逻辑,它也是这种尝试的第一个实例,有六个命题公理和两个规则。伯特兰·罗素和阿尔弗雷德·诺思·怀特黑德也提议了有五个公理的一个系统。例如扬·武卡谢维奇(Jan Łukasiewicz,1878年-1956年)版本的公理化命题逻辑有接受如下公理的公理集合 A:并且它有有一个规则的推理规则的集合 R,这个规则就是下面的肯定前件:推理规则允许我们从公理或给定的全体 Σ 的 wff 推导出陈述。在 E.J. Lemmon 提出的我们称为系统 L 的一个版本的自然演绎逻辑中,我们首先没有任何公理。我们只有支配证明的语法的九个基本规则。系统 L 的九个基本规则是:在系统 L 中,证明的定义有下列条件:如果没有前提给出,则相继式叫做定理。所以在系统 L 中定理的定义是:或者换句话说:相继式的证明的一个例子(这里是否定后件):相继式证明的一个例子(这里是一个定理):系统 L 的每行都有自己对输入或进入的类型的要求,它可以接受并且拥有它自己的处理和计算于是它的输入使用的假定的方式。

相关

  • 埃博拉病毒埃博拉病毒属(学名:Ebolavirus)是丝状病毒科的其中一种病毒,可导致埃博拉出血热,罹患此病可致人于死,包含数种不同程度的症状(包括恶心、呕吐、腹泻、肤色改变、全身酸痛、体内出血
  • 脑炎脑炎(英语:encephalitis),一种急性脑部的炎症,通常由病毒感染造成。病患症状包括发烧、头痛、呕吐、意识混乱、疲倦、嗜睡和畏光。 严重的症状包括癫痫、颤抖(tremors)、幻觉、记忆
  • 人体人体是一个人的整个结构。 它由许多不同类型的细胞组成,一起产生组织和随后的器官系统。 它们确保体内稳态和人体的生存能力。它包括头部,颈部,躯干(包括胸部和腹部),胳膊和手,腿和
  • 分体病毒科分体病毒属 Partitivirus α隐藏病毒属Alphacryptovirus β隐藏病毒属 Betacryptovirus分体病毒科(Partitiviridae)
  • 组织组织旧称
  • 致癌物质致癌物质(英语:Carcinogen)是指任何会直接导致生物体产生癌症的物质,包括化学物质、病毒、放射性核素等。这些物质进入机体后会直接或间接使机体细胞受到损害,导致生物大分子异常
  • National Center for Biotechnology Information国家生物技术信息中心(National Center for Biotechnology Information,简称NCBI)是美国国家医学图书馆(NLM)的一部分(该图书馆是美国国家卫生研究所的一部分)。NCBI位于美国马里兰
  • 开放阅读框架开放阅读框(英语:Open reading frame;缩写:ORF;其他译名:开放阅读框架、开放读架等)是指在给定的阅读框架中,不包含终止密码子的一串序列。这段序列是生物个体的基因组中,可能作为蛋
  • 阿斯帕齐娅阿斯帕齐娅(Ἀσπασία,前470年-前400年 希腊语: .mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",C
  • 理论理论(英语:Theory),又称学说或学说理论,指人类对自然、社会现象,按照已有的实证知识、经验、事实、法则、认知以及经过验证的假说,经由一般化与演绎推理等等的方法,进行合乎逻辑的推