三段論的邏輯公式

三段論就是指由三個命題構成的推理.具體説來，三段論是由包含着一個共同因素(邏輯中介)的兩個命題推出一個新的命題的推理.例如:

所有闊葉植物都是落葉的

所有葡萄樹都是闊葉植物

所以，所有葡萄樹都是落葉的.

上述推理中的共同因素就是"闊葉植物".進行三段論推理，關鍵就是要看這個共同因素能否把兩個前提連接起來推出結論.如果連接不起來，則三段論就是錯誤的.例如

英雄難過美人關

我難過美人關

所以，我是英雄.

上述推理的錯誤就是"難過美人關"這個共同因素沒有能夠把兩個前提必然地連接起來.因為很可能英雄是難過美人關的一種人，但我卻是難過美人關的另一種人.