演绎推理

✍ dations ◷ 2025-03-07 10:24:29 #演绎推理

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

相关

低血糖低血糖（英语：Hypoglycemia、low blood sugar）是指血液中的葡萄糖浓度（血糖），特别是血浆中的，低于正常水平的现象，一般是治疗糖尿病时的并发症，也可能是由多种原因所引起的，并导致一系
神经神经（英语：Nerve）是由聚集成束的神经纤维所构成。而神经纤维本身是由多个神经元细胞构成，其神经元的构造为轴突外并被神经胶质细胞所形成的髓鞘包覆。如此神经能将讯息从动物身
萧邦弗雷德里克·弗朗索瓦·肖邦（法语：Frédéric François Chopin，1810年3月1日－1849年10月17日），原名弗里德里克·弗朗齐歇克·肖邦（波兰语：Fryderyk Franciszek Chopin，有时拼作Szope
放牧场放牧场 (来自拉丁语 pastus，为pascere的过去分词，意指 "饲养") 为提供放牧的土地。狭义的定义系指圈围的农地，供家畜如马部、家牛、绵羊、家猪等吃草，种植做作物包括粮草（英语：for
古虫界古虫界（学名：Excavata）是单细胞生物的一个主要超级群组，属于真核生物域，由汤玛斯·卡弗利尔-史密斯于2002年引入的一个新的支序亲缘学分类。古虫界包含了许多自由生存或共生的原
勿加泗勿加泗是印度尼西亚的城市，由西爪哇省负责管辖，位于该国东南部爪哇岛西部，面积210.49平方公里，2010年人口2,378,211，人口密度为每平方公里11,298人。泗水万隆
英国大学英国的大学是根据1988年教育改革法令在英国创建的大学，通常拥有皇家特许状、教宗诏书、议会法案。通常情况下，大学的设立在英国枢密院备案，只有这样的机构才能颁发学位。申请英
晶状体晶状体，又称晶珠，是眼球的主要屈光结构，也是唯一有调节能力的屈光间质；为一个双凸形扁圆体，包以透明被囊。晶状体在角膜与虹膜之后、玻璃体与视网膜之前，其周缘部被晶状体悬器（睫状
鲸鲸是海洋哺乳动物鲸下目中部分生物的通称。鲸下目又分为须鲸小目（Mystacoceti）和齿鲸小目（Odontoceti）。在日常语言中，常将鲸和海豚（以及淡水豚）分开，但在动物学中它们同属于一个系
介词悬空介词悬空(Preposition stranding，英语有时又作P-stranding)是一种语法上的结构，在其中，带有受词的介词出现在与其支配的受词直接相连的地方之外的地方(也就是说介词“悬”在了