演绎推理

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

相关

  • LCCN美国国会图书馆控制号(英语:Library of Congress Control Number,简称LCCN)是美国国会图书馆用于图书记录、编码和查询的序列号。每一本书籍都有相对应的控制号。该号码与书籍内
  • 国际病毒分类委员会国际病毒分类委员会(International Committee on Taxonomy of Viruses (ICTV))系一个对病毒进行生物学分类和命名并制定相关标准的组织。国际病毒分类委员会已制定了一套病毒
  • 西欧西欧是指欧洲西半部,面积约500万平方公里,占欧洲的一半左右。习惯上,本区又可以分为北欧、西欧、南欧三部分。本区位于欧亚大陆西部、大西洋东岸,大部分位于北纬35°~60°属北温
  • 大规模监控2001年–2007年–与英国政府通信总部合作项目非持续进行项目美国的大规模监控可以追溯到第一次世界大战的战时监控与审查制度(英语:Censorship_in_the_United_States#Wartime_
  • 世界旅游组织世界旅游组织(英语:World Tourism Organization,缩写UNWTO)是联合国下15个专门机构之一,成立的宗旨是促进和发展旅游事业以利于经济发展,总部设在西班牙马德里,现任秘书长是祖拉布
  • 强的松17-hydroxy-17-(2-hydroxyacetyl)-10,13-dimethyl-7,8,9,10,12,13,14,15,16,17- decahydro-3泼尼松(英语:Prednisone),又名“去氢可的松”或“强的松”,它是一种口服的糖皮质激
  • 克森尼索克森尼索 (希腊语:Χερσόνησος; 拉丁语:Chersonesus)是古希腊的一个殖民地,建于约2500年前,位于克里米亚的西南部。殖民地始建于公元前6世纪,由来自赫拉克里亚·潘提卡(Her
  • 生命的意义生命的意义是一个解构人类存在的目的与意义的哲学问题。这个概念通过许多相关问题体现出来,例如:“我为何在此”“什么是生命?”“生命的真谛是什么?”。在历史长河中,它也是哲学
  • 教宗额我略一世教宗圣额我略一世(拉丁语:Sanctus Gregorius PP. I;约540年-604年3月12日)于590年9月3日至604年3月12日岀任教宗。他是以一致欢呼的方式当选教宗。教宗额我略一世出生于罗马。初
  • 社会阶层实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性