这一节要点破的
一切推理 立在 三条法则上
走到这里，该点破了。前面四节，你一路在用的，其实是三条最底层的法则。它们朴素到像废话，却是一切推理站得住的地基——也是你练这副脑子，真正要练熟的东西。
矛
矛盾律
¬(A ∧ ¬A)
不能自相矛盾，故有反证
◆
一这三条，你其实一路都在用
你没有学三套新东西。回头看前面四节，它们早就藏在你每一步推理的底下——
在「语言与命题」「翻译」里
你死守"一个词，从头到尾是同一个意思"——那是同一律。偷换概念、偷换中项，破的都是它。
在「三段论」「论证有效性」里
你"非此即彼"地把情形盖满、做分类讨论——那是排中律：一个命题非真即假，没有中间地带。
用"地没湿，所以没下雨"反证时
你靠的是矛盾律：推出了自相矛盾，反设就站不住。
三条法则，早已在你每一步底下。这一节，只是把它们请到台前，看个清楚。
二三条法则，三句"不许"
同同一律 · A≡A不许概念漂移。一个概念、一个符号，从头到尾是同一个意思。守住它，翻译才保真、中项才不被偷换——前两节的功夫，全压在这一条上。
排排中律 · A∨¬A不许有中间地带。一个命题，要么真，要么假。正因如此，你才能"非此即彼"地把所有情形穷尽——这就是分类讨论的底气。
矛矛盾律 · ¬(A∧¬A)不许自相矛盾。一个命题，不能既真又假。所以只要推出了矛盾，必有一头是错的——这就是反证法的命根。
三只用这三条，足以走完一道题
这里有句话要说准，差一个字，意思就反了：是"只用这三条，也能走完一道题"，不是"只许用这三条"。
前者是解放——你不必背一仓库套路，三条朴素的法则就够你走到底；后者是牢笼——又把它做成一张要你照填的应试模板。
我们要的是前者。三条法则是你随身的地基，不是又一套要背的题型。
示范一道真题，看三条各就各位
训练场那道 2026 新一卷 19 题，从头到尾，就靠这三条扛着：
读题 · 同
用同一律把集合 D(x₀) 的定义钉死，后面每一步都回到它，不许漂移。
第 (2) 问 · 排
用排中律按 x₂ > 0 / x₂ < 0 穷尽分类，一种都不漏。
第 (3) 问 · 矛
用矛盾律反证，逼出 f(0) 的边界。
三条扛起一道压轴 · 没有第四种武器
三条法则各就各位，一道压轴题就走完了——没有第四种武器。这不是说题目简单，是说：你真正要练熟的，本就是这三条，而不是没完没了的题型。
进入训练场 · 看这道题 →
练怎么练
别把它当成每写一步就要贴的标签——那又成了套路。要你看见的是：一道题从头到尾，撑住它的就这三条最朴素的法则。用熟了，你不再去想"这步是同还是排"，像走路不数步子——这才是会想，不是又背熟了一套解题模板。
◆
为什么练这个
把这三条用熟，你练的不只是数学，是一种到哪儿都站得住的脑子：同一律让你不被偷换概念，排中律让你不遗漏可能，矛盾律让你识破自相矛盾。一个守得住这三条的人，才谈得上独立思考——这就是「我思故我在」最朴素的底座。数学，只是练它成本最低的地方：对错分明，错在哪一步，立刻就知道。
← 回到逻辑