在传统逻辑中,三段论是在其中一个命题(结论)必然的从另外两个命题(叫做前提)中得出的一种推论。这个定义是传统的,可以宽松的从亚里士多德的前分析篇 Book I, c. 1 中推出来。希腊语 "sullogismos" 的意思是"演绎"。对传统意义上的三段论的详细描述请参见直言三段论。
直言三段论是所有前提都是直言命题的演绎推理。
例子:
所有动物都终有一死。
所有人都是动物。
所以,所有人都终有一死。
前两个命题叫做前提。如果这个三段论是有效的,这两个前提逻辑上蕴涵了最后的命题,它叫做结论。结论的真实性建立在前提的真实性和它们之间的联系之上:中项在前提中必须周延(distribute)至少一次,形成在结论中的主词和谓词之间的连接。即使直言三段论是有效的,但如果有前提为假的话结论仍可能是假。
直言三段论是所有前提都是直言命题的演绎推理。
例子:
所有动物都终有一死。
所有人都是动物。
所以,所有人都终有一死。
前两个命题叫做前提。如果这个三段论是有效的,这两个前提逻辑上蕴涵了最后的命题,它叫做结论。结论的真实性建立在前提的真实性和它们之间的联系之上:中项在前提中必须周延(distribute)至少一次,形成在结论中的主词和谓词之间的连接。即使直言三段论是有效的,但如果有前提为假的话结论仍可能是假。
