首页/逻辑 · 三段论
逻辑 · 推理的链条

三段论

两句话,逼出第三句
这一节要解决的
两个前提 一个结论

推理不是灵光一闪,是一格接一格地走。最小的那一格,叫三段论:两个已经成立的命题,能必然逼出第三个。把这一格看透,你就看懂了一切证明与说理的骨架。

三段论:两句话,逼出第三句

演绎推理最小的单元,是三段论:给你两个已经成立的命题(前提),它们必然逼出第三个命题(结论)。最有名的一例,两千年来没旧过:

大前提所有人都会死。
小前提苏格拉底是人。
结论苏格拉底会死。

留意"必然"二字:只要前两句成立、推理的形式没错,结论就由不得你不信。这跟"我觉得""大概"是两回事——演绎给的是强制

中项:把两句话接起来的那座桥

一个三段论里有三个词项。上例里是「人」「会死」「苏格拉底」。其中「人」在两个前提里都露面、却在结论里消失了——它就是中项,是把"苏格拉底"和"会死"接通的那座桥。

没有共同的中项,两句话就接不上;硬接出来的结论,不作数。

有效,不等于真

这里藏着一个最要命的分别:形式有效(推得对不对)和结论为真(说得对不对),是两码事。「所有鸟都会飞 / 企鹅是鸟 / ∴ 企鹅会飞」——推理的形式挑不出毛病,结论却错了,错在大前提假。反过来,哪怕每句都真,中项接不上,照样白推。

数学只认一种:前提真,且形式有效。两者缺一,证明就不成立。

最常见的翻车,是偷换中项:两个前提里那座"桥",看着同名、其实不是同一个意思。这正是违反同一律——中途把概念悄悄换了。看,前两节的账,在这里要还:中项一旦失守,整座桥就塌。

示范一段数学证明,拆开就是三段论

你做过的每一步证明,几乎都能还原成一个三段论。看这一步:

大前提等腰三角形的两底角相等。(一条已证的定理)
小前提△ABC 是等腰三角形(AB = AC)。(题目给的条件)
结论∠B = ∠C。
证明 = 三段论串成的链

一道证明题,就是这样一个三段论咬着一个三段论:上一步的结论,做下一步的前提,一格一格往前。看清这副骨架,你证题时就知道每一步该去找哪条大前提(定理),而不是对着题瞎凑。数学,是练"搭链子、拆链子"成本最低的地方——每一步都必须能还原成一个站得住的三段论,少一格都过不去。

怎么练

拿一段你信服的论证(一条评论、一句"所以"),把它拆成大前提 / 小前提 / 中项三块;再找一个听着在理、其实中项被偷换的说法,指出那座桥是怎么塌的。拆得出,你就不再被"听起来很有道理"牵着走。

为什么练这个

三段论是演绎的最小一格;一篇证明、一套说理,都是它串成的链。看透它,你既能搭自己的链子,也能拆穿别人断掉的链子。这,是一个能独立思考的人最日常的自卫——不被任何一句漂亮话,绕过你自己的脑子。

← 回到逻辑