首页 >
演绎推理
✍ dations ◷ 2025-07-03 14:31:54 #演绎推理
演绎推理(英语:Deductive Reasoning)、正向推理在传统的亚里士多德逻辑中是“结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理”。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。“演绎推理”还可以定义为结论在普遍性上不大于前提的推理,或“结论在确定性上,同前提一样”的推理。任何三角形只可能是锐角三角形、直角三角形和钝角三角形。——大前提这个三角形既不是锐角三角形,也不是钝角三角形。——小前提所以,它是一个直角三角形。——结论更加形式化的说,演绎是陈述的序列,每个陈述都可以从它前面的陈述推导出来。本质上,这导致了如何证明第一个句子的公开问题(因为它不能从任何事物得到)。公理化命题逻辑通过要求证明满足下列条件来解决这个问题:来自 wff 的全体 Σ 的证明 α 是一个 wff 的有限序列:这里的并且对于每个 βi (1 ≤ i ≤ n),不同版本的公理化命题逻辑都包含一些公理,通常是三个或多于三个,除了一个或更多的推理规则之外。例如弗雷格公理化的命题逻辑,它也是这种尝试的第一个实例,有六个命题公理和两个规则。伯特兰·罗素和阿尔弗雷德·诺思·怀特黑德也提议了有五个公理的一个系统。例如扬·武卡谢维奇(Jan Łukasiewicz,1878年-1956年)版本的公理化命题逻辑有接受如下公理的公理集合 A:并且它有有一个规则的推理规则的集合 R,这个规则就是下面的肯定前件:推理规则允许我们从公理或给定的全体 Σ 的 wff 推导出陈述。在 E.J. Lemmon 提出的我们称为系统 L 的一个版本的自然演绎逻辑中,我们首先没有任何公理。我们只有支配证明的语法的九个基本规则。系统 L 的九个基本规则是:在系统 L 中,证明的定义有下列条件:如果没有前提给出,则相继式叫做定理。所以在系统 L 中定理的定义是:或者换句话说:相继式的证明的一个例子(这里是否定后件):相继式证明的一个例子(这里是一个定理):系统 L 的每行都有自己对输入或进入的类型的要求,它可以接受并且拥有它自己的处理和计算于是它的输入使用的假定的方式。
相关
- 降解分解反应(decomposition reaction)是化学反应的常见类型之一,是指化合物在特定条件下分解成二种或二种以上元素或化合物的反应。例如:水在通电的情况下会分解成氢气和氧气;氯酸钾
- CRISPRCRISPR(IPA:/ˈkrɪspər/;DJ:/ˈkrispə/;KK:/ˈkrɪspɚ/)是存在于细菌中的一种基因,该类基因组中含有曾经攻击过该细菌的病毒的基因片段。细菌透过这些基因片段来侦测并抵抗相同
- 支气管扩张药支气管扩张药(英语:bronchodilator)是一种扩张支气管与细支气管的物质,降低呼吸系统阻力并增加通往肺部的气流量。支气管扩张药可以是内源性的(机体内自然产生的),也可以通过给药的
- 心包心包,又名心膜,是一个圆锥形双层纤维浆膜囊,包裹心脏和出入心脏大血管根部。心包的两层分别为:心包的学名pericardium来自希腊语的περι(环绕、周围)与κάρδιον(心脏)两字
- 身心病人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学身心医学(英语:Psychosomatic medicine),
- 生命演化史生命演化历程纪录地球上生命发展过程中的主要事件。本条目中的时间表,是以科学证据为基础所做的估算。生物演化指生物的族群从一个世代到另一个世代之间,获得并传递新性状的过
- 抵抗力免疫(英语:immunity),指生物机体识别和排除抗原物质的一种保护性反应。其中包括特异性免疫(后天免疫系统)与非特异性免疫(先天免疫系统)。“免疫”一词,最早见于中国明代医书《免疫类
- 智慧穿戴装置可穿戴式电脑(Wearable computer)为可穿戴于身上出外进行活动的微型电子设备。此种电脑由轻巧的设备构成、利用手表类小机械电子零件组成,达成像头戴式显示器(HMD)一般,使得电脑更
- 哈里·斯塔克·沙利文哈里·斯塔克·沙利文(英语:Harry Stack Sullivan,1892年2月21日出生于纽约州city of Norwich,1949年1月14日逝于法国巴黎),美国心理学家,其心理学研究工作是基于直接和可检验的观
- 凯尔特语族凯尔特语族是印欧语系下的一族语言。古时曾在西欧广泛使用,但今日使用此族语言的人口只存在于不列颠群岛上的一些地区和法国的布列塔尼半岛上。主要存在着四个族群,至于如何分