演绎推理

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

相关

  • 弗雷德里克·格兰特·班廷弗雷德里克·格兰特·班廷爵士,KBE,MC,FRS,FRSC(英语:Sir Frederick Grant Banting,1891年11月14日-1941年2月21日)是加拿大一位杰出的医学家和诺贝尔生理学或医学奖获得者。班廷是在
  • 膨松剂膨松剂(英语:Leavening agent),俗称为臭粉,是加入生面团或面糊中,使最终产品蓬松软化的物质。其方法即是将气体充入面团中,当然,理论上也可以通过机械手段实现,但实际上更多的是通过
  • 裘维蕃裘维蕃(1912年5月15日-2000年9月18日),江苏无锡人,中国植物病理学家。1935年毕业于金陵大学植物病理学系。1948年获美国威斯康星大学研究院博士学位。曾任中国农业大学教授。1980
  • 国际刑事法院国际刑事法院(英语:International Criminal Court,常缩写作:ICC或ICCt;法语:Cour Pénale Internationale)成立于2002年,位于荷兰海牙,工作语言为英语和法语。其主要功能是对犯有灭绝
  • 碱性电池碱性电池(英文:Alkaline battery)指使用碱性电解液的电池,一般生活中指称碱性电池,指的是碱性锌锰电池。广义上,碱性电池使用的电极材料包括:锌-二氧化锰、锌-氧化汞、镉-氢氧化镍
  • 别名国际人类基因组组织(The Human Genome Organisation,简称HUGO)是一个参与绘制人类基因组图谱的人类基因组计划的国际非政府组织。人类基因组组织作为一国际组织成立于1989年。
  • 危险因子风险因子(Risk Factor),在流行病学中是与疾病或感染风险增加相关的变量。风险因子或决是因数是相关的,由相关不蕴涵因果可知,它们不一定是因果关系。例如,“年轻不能说是引起麻疹
  • 白磷磷的同素异形体有许多种,其中白磷和红磷最为常见。另外还存在紫磷和黑磷。气态磷单质中有P2分子与磷原子。白磷(因商品白磷常带黄色,故又称为黄磷:180),分子式P4,为白色固体,质软。
  • 山口俊一山口俊一(1950年2月28日-),日本政治家,自由民主党党员。出身于德岛县三好郡池田町(现三好市)。1990年至今连续当选9届众议院议员。在自民党内属于为公会(麻生派)。现任内阁府特命担当
  • 连写体合字、连字、连结字或合体字(英语:Ligature),在西方字体排印学中一般表示将多于一个字母的合成一个字形。如印刷品中常常将拉丁字母两个字母fi的i上一点常与f的一钩合并,而德语字