演绎推理

✍ dations ◷ 2024-11-05 16:40:51 #演绎推理

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

相关

小儿急疹小儿急疹，俗称玫瑰疹，古时中国又称奶疹、假麻疹，是一种常见于6个月到3岁之间幼儿的疾病。根据最近中国大陆的数据，此病发病率高达98.2%。虽然早在二十世纪四十年代就开始怀疑是
抗抑郁药抗抑郁药（英语：Anti-depressant），是一类治疗重度抑郁症（MDD）或其它问题如心境恶劣障碍、焦虑症、强迫症、进食障碍、慢性疼痛、神经性疼痛（英语：Neuropathic pain）的药物，在某些情况下
碳水化合物糖类（Carbohydrate）又称碳水化合物，是多羟基醛或多羟基酮及其缩聚物和某些衍生物的总称，一般由碳、氢与氧三种元素所组成，广布于自然界。糖类的另一个名称为“碳水化合物”，其由来
原口动物原口动物（学名：拉丁语：Protostomia），又名前口动物或旧口动物，有完整的消化道。胚胎时期的原口会发展为成体的口，而肛门则是另外形成的。蜕皮动物（Ecdysozoa）和螺旋动物（Spiralia）都属于
洋菇双孢蘑菇（学名：Agaricus bisporus）俗称洋菇、口蘑，为伞菌科伞菌属的一种，是最常见的食用菇之一，肉质肥厚。原生于欧洲及北美洲，人类至少自古希腊时代起便开始食用，人工栽培则约始于1
整体病毒科整体病毒属梨形鞭毛虫病毒属利什曼原虫病毒属整体病毒科Totiviridae(全病毒科)
封套封套（法语：enveloppe，英语：envelope，葡萄牙语：envelope，德语：Umschlag，西班牙语：sobre），是一种包装工具，通常都是压平的。制造信封的材料有很多种，最常见的是纸张，其次还有纸版、塑胶、牛皮
经济发展经济发展是种随资本主义发展出现的累积过程。其基本要素除了包括经济成长所带来的总量产出与收入结构变化外，经济结构的变迁、人民生活品质提高与福利改善、社会政治体制的变
联合国国际贸易法委员会联合国国际贸易法委员会（贸易法委员会）由联合国大会根据其1966年12月17日的第2205号决议第XXI章成立，旨在“促进国际贸易法逐步协调和统一”。联合国国际贸易法委员会在纽约市
主语主语（拉丁语：subjectum，英语：subject），又称主词，是一种句法成分。如英语和法语当中，主语由名词短语或者代词充当，会决定谓语动词的形态，即达成一致。其他语言里充当类似角色的名词短语