演绎推理 编辑
演绎推理、正向推理在传统的亚里士多德逻辑中是“结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。
4
相关
数学对象是数学中的抽象概念。用数学的普通语言来说，对象是任何可以或已经用演绎推理和数学证明正式定义的物件。一般地，一个数学对象可以是一个能代入变数的值，从而可以用于公式里。 经常遇到的数学对象包括数、集合、函数、表示式、几何形状、其他数学对象的变换和空间。数学对象可以非常复杂。比如说，定理、数学证明甚至理论在证明论中被视为数学对象。
数学对象是数学中的抽象概念。用数学的普通语言来说，对象是任何可以或已经用演绎推理和数学证明正式定义的物件。一般地，一个数学对象可以是一个能代入变数的值，从而可以用于公式里。 经常遇到的数学对象包括数、集合、函数、表示式、几何形状、其他数学对象的变换和空间。数学对象可以非常复杂。比如说，定理、数学证明甚至理论在证明论中被视为数学对象。
理性主义、欧洲理性主义是建立在承认人的理性可以作为知识来源的理论基础上的一种哲学方法，认为理性高于感官感知，也称作唯理论。形式的来说，理性主义是指认定真理不能依赖感官, 而需依赖理智和演绎推理的方法学或理论。
理性主义、欧洲理性主义是建立在承认人的理性可以作为知识来源的理论基础上的一种哲学方法，认为理性高于感官感知，也称作唯理论。形式的来说，理性主义是指认定真理不能依赖感官, 而需依赖理智和演绎推理的方法学或理论。
直言三段论是所有前提都是直言命题的演绎推理。
理性主义、欧洲理性主义是建立在承认人的理性可以作为知识来源的理论基础上的一种哲学方法，认为理性高于感官感知，也称作唯理论。形式的来说，理性主义是指认定真理不能依赖感官, 而需依赖理智和演绎推理的方法学或理论。
故障树分析是由上往下的演绎推理式失效分析法，利用布林逻辑组合低阶事件，分析系统中不希望出现的状态。故障树分析主要用在安全工程以及可靠度工程的领域，用来了解系统失效的原因，并且找到最好的方式降低风险，或是确认某一安全事故或是特定系统失效的发生率。故障树分析也用在航空航天、核动力、化工制程、药品、石化业及其他高风险产业，也会用在其他领域的风险识别，例如社会服务系统的失效。故障树分析也用在软件工程，在侦错时使用，和消除错误原因的技术很有关系。
故障树分析是由上往下的演绎推理式失效分析法，利用布林逻辑组合低阶事件，分析系统中不希望出现的状态。故障树分析主要用在安全工程以及可靠度工程的领域，用来了解系统失效的原因，并且找到最好的方式降低风险，或是确认某一安全事故或是特定系统失效的发生率。故障树分析也用在航空航天、核动力、化工制程、药品、石化业及其他高风险产业，也会用在其他领域的风险识别，例如社会服务系统的失效。故障树分析也用在软件工程，在侦错时使用，和消除错误原因的技术很有关系。
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类演绎推理系统。这种演绎系统最经常为一阶逻辑而研究，但对其他逻辑也是有价值的。
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类演绎推理系统。这种演绎系统最经常为一阶逻辑而研究，但对其他逻辑也是有价值的。