演绎推理

在传统的亚里士多德逻辑中，演绎推理(英语：deductive reasoning）是“结论，可从叫做前提的已知事实，“必然的”得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理，它们的前提可以预测出高概率的结论，但是不确保结论为真。

“演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。

演绎推理又称三段论推理，是由两个前提和一个结论组成，大前提是一般原理（规律），即抽象得出一般性、统一性的成果；小前提是指个别对象，这是从一般到个别的推理，从这个推理，然后得出结论。又称从规律到现象的推理。是从普通回到特殊再回到个别。