三段論

三段論在傳統邏輯中 ， 是在其中一個命題 （ 結論 ） 必然地從另外兩個命題 （ 叫做前提 ） 中得出的一種推論 。 這個定義是傳統的 ， 可以寬鬆地從亞里士多德的 《 前分析篇 》 Book I, c. 1中推出來 。 希臘語 “ sullogismos ” 的意思是 “ 演繹 ” 。 對傳統意義上的三段論的詳細描述參見直言三段論 。 三段論由三個部分組成 ： 大前提 、 小前提和結論 。 邏輯上 ， 結論是於小前提之上應用大前提得到的 。 大前提是一般性的原則 ， 小前提是一個特殊陳述 。