论证有效性 · 结论真的跟得出来吗

这一节要解决的

有效 = 结论跟得出来

上一节我们说"有效不等于真"。这一节专攻有效本身：一段推理，凭什么算"结论真的跟得出来"？看懂这一点，你就能一眼认出世上最常见的那个骗局——拿结论，倒推原因。

一有效，是说"结论真的跟得出来"

一段论证有效，意思很窄：前提一旦为真，结论就不可能为假。注意——它不问前提内容真不真，只问"跟不跟得出来"。上一节那个企鹅的例子正是如此：形式有效，前提却假，结论照样错。有效，是形式的事；真，是内容的事。

把"跟得出来"和"说得对"这两件事分开——是看穿一切诡辩的第一刀。

演绎有个铁的方向：「A → B」成立，不等于「B → A」成立。由因可以推果，由果不能反推因。

"下雨，地会湿"——这是真的。可"地湿了，所以下过雨"？错：洒水车、爆水管，都能让地湿。从结论（地湿）倒推原因（下雨），逻辑学叫肯定后件，是头号谬误。数学里一模一样："x > 2 ⇒ x² > 4"成立；但由"x² > 4"推不出"x > 2"——x = −3 也满足。

一条合法的逆行 · 反证

倒推不行，但有一种"反着来"是对的：「A → B」成立，若发现 B 不成立，就能断定 A 也不成立（地没湿 ⇒ 没下雨）。这叫否定后件——它正是反证法的形式：先承认 A，却推出"非 B"，自相矛盾，于是 A 站不住。矛盾律，在这儿露了面。

还有一种"推理"，给的只是可能，不是必然——归纳：从一个个例子，猜一条普遍规律。看见一千只天鹅是白的，猜"天鹅都白"——直到第一只黑天鹅出现。归纳能启发，却不能担保。

数学只认演绎：验证一千个数都成立，也不算证明；规律没被必然地推出来，它就还只是猜想。

这正是数学最"轴"、也最珍贵的地方：它逼你把"看起来总是对"，变成"必然对"。日常我们靠归纳活着；可一旦要较真，归纳就交棒给演绎。

看一个日常版、一个数学版——其实是同一个错。

成功的人都早起。他早起。—— 所以，他会成功？

错在哪一步

逻辑的偷换

把"成功 → 早起"，悄悄当成了"早起 → 成功"。这是肯定后件：拿结论（早起）倒推原因（成功）。早起的人多了，没成功的也多了。

数学同款陷阱

"可导 ⇒ 连续"是对的；可"f 连续，所以 f 可导"就错了——|x| 在 0 点连续，却不可导。一个反例，谬误当场现形。

同一个错 · 从结论倒推原因

这两个错，是同一个错：拿结论去倒推原因。数学只是把它标得最清楚——你不必跟人争上三天，一个反例（|x|），冷冷地，就把它结了。学会在日常里也这样找反例，你就握住了拆穿伪因果的那把刀。

听到"因为有 B，所以有 A"的推理（广告、鸡汤里到处是），就问一句：是不是只有 A 才能导致 B？只要你能找到"别的原因也能导致 B"的反例，这条倒推就破了。练熟了，忽悠在你面前会变慢。

为什么练这个

世上大量的骗局、迷信、伪因果，用的都是同一招——拿结论倒推原因，再让你误以为那就是证明。学会只认"真正跟得出来"的推理，你便有了一层不被忽悠的免疫。数学，是打这层疫苗成本最低的地方：它的反例，冷酷而干净，从不跟你讲人情。