演绎推理

✍ dations ◷ 2025-12-04 06:57:06 #演绎推理

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

相关

鞭毛鞭毛是很多单细胞生物和一些多细胞生物细胞表面像鞭子一样的细胞器，用于运动及其它一些功能。在三个域中，鞭毛的结构各不相同。细菌的鞭毛是螺旋状的纤维，像螺丝一样旋转，属于生
脉翅目广翅亚目 Megaloptera 蛇蛉亚目 Raphidioptera 蛟蛉亚目 Planipennia脉翅目（学名：Neuroptera）包括草蛉、蚁蛉、长角蛉等，属于完全变态的昆虫。这个目的成虫有两对膜状的的翅膀，前
安德鲁·斯丁普森安德鲁·斯廷普森（英语：Andrew Stimpson，1980年－），英国苏格兰出生，他是被确认感染人类免疫缺陷病毒十七个月后，测试结果呈阴性反应的英国男子。虽然过往在非洲曾经有受感染者成功击
青蒿琥酯青蒿琥酯（英语：Artesunate），是用于治疗疟疾的青蒿素类药物之一。于1977由桂林制药厂（现已更名为桂林南药股份有限公司）工程师刘旭合成。青蒿琥酯是青蒿素的半合成衍生物，可溶于水，因
君士坦丁堡的陷落君士坦丁堡的陷落是奥斯曼帝国于苏丹穆罕默德二世领导之下对东罗马帝国首都君士坦丁堡所作的一次征服，发生于1453年5月29日星期二。东罗马皇帝君士坦丁十一世也在当天战死。
尿潴留尿潴留（英语：renal retention或 urinary retention），又称尿滞留、尿液滞留，是膀胱内的尿液无法排出的状况，最常见的原因是良性前列腺增生症。正常成年男性的膀胱涨满时，容积约为500
克罗恩病克隆氏症（Crohn's disease），又称克罗恩病、克隆氏症候群或局部性肠炎，是一种发炎性肠道疾病，可能影响肠胃道从口腔至肛门的任何部分。症状通常包含：腹痛、腹泻（如果发炎严重可能会
美国人美国人，是世界上对于与美国有关的人士的指称，通常是指美国公民、美国国民，或者祖先、直系尊亲属是美国公民或国民的其他地区人士。依据美国公民出生地原则，一般来说，出生于美国各
非认知主义非认知主义（英语：Non-cognitivism）是一种后设伦理理论，认为伦理句子不表达事实，因此不能是真或假。非认知主义与认知主义相反，而认为道德知识是不可能存在。
宋音陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧