演繹推理

演繹推理 （ Deductive Reasoning ） 、 正向推理在傳統的亞里士多德邏輯中是 「 結論 ， 可從叫做‘前提’的已知事實 ， ‘ 必然地’得出的推理 」 。 如果前提爲真 ， 則結論必然爲真 。 這區別於溯因推理和歸納推理 ： 它們的前提可以預測出高概率的結論 ， 但是不確保結論爲真 。 “ 演繹推理 ” 還可以定義爲結論在普遍性上不大於前提的推理 ， 或 「 結論在確定性上 ， 同前提一樣 」 的推理 。