一句话说清
证明就是用无可反驳的推理，把猜想变成必然。
为什么值得懂
数学是唯一敢说「永远成立」的学科。物理定律会被下一个实验修正，数学定理一旦证成很少翻案——差别不在聪明，在方法。看懂证明方法，你就多了一把尺子，能量出「看起来对」和「确实对」的距离。《命题逻辑》给了你推理的形式，这一篇讲怎么把它用成套路。
零基础讲解
入门靠四条路。
一、直接证明。 要证「若 P 则 Q」，就从 P 出发，每一步都靠已成立的定理或定义，一路推到 Q。难点不在逻辑，而在把条件翻译成能用的式子。
二、反证法。 先假设结论错，再严格推理直到推出矛盾——与条件矛盾、与定理矛盾或自相矛盾。矛盾一出现，假设就不成立。结论不好正面下手时它最好用：素数有无穷多个、根号二是无理数都靠它。
三、数学归纳法。 要证关于自然数 n 的命题对所有 n 成立，只需两件事：n 取第一个值时成立；n 成立就能推出 n+1 成立。两块骨牌各管一段，合起来覆盖全部自然数——这就是它一步跨到无穷的理由。
四、构造法与存在性证明。 要证「存在一个满足条件的对象」，有两种强度不同的做法：构造性证明把对象造出来；非构造性证明只证明它不可能不存在，却不给你具体对象。
证明是数学的身份证。 自然科学靠观察：看过一千只白天鹅，也只能说「目前为止都是白的」，随时可能翻案——这条路的麻烦见《归纳问题》。数学不靠次数靠链条：规则被接受，结论就被锁死，所以写「证毕」不写「据观察」。
边界一：数学归纳法只对可数对象有效。 自然数和能按自然数编号的序列可以，实数不行——你没法说「第 n 个实数」再往下倒。
边界二：第二块骨牌必须真的成立。 反例是「所有的马颜色都相同」：从 n=1 推到 n=2 时把「两匹马」偷换成「一群马」，骨牌在第一块就断了。
这里是有争议的： 主流观点是两类证明都算合法，教科书与期刊普遍接受非构造性的那一类；也有直觉主义（布劳威尔一派）认为，只证明「存在」却不给出对象的论证不算数——在他们看来，「存在」就等于「能被构造出来」。争论没有定论，但它提示：严格的标准是数学界逐步谈出来的。
一个例子
欧拉发现多项式 n²+n+41 在 n 取 0 到 39 时给出的数全是素数。四十次全中，足够让人写下「它对所有自然数都成立」。可 n=40 时结果是 1681，等于 41×41，一下塌了——四十次成功抵不过一次反例。这就是举例和证明的分水岭：前者只能证伪，后者要盖住全部情形。
常见误解
- 以为数学归纳法是归纳推理：它是标准的演绎证明，「归纳」只是形容它像多米诺；与经验归纳的区别见《演绎与归纳》。
- 以为例子举得多就等于证明：例子只能证伪，一个反例就推翻全称命题。
- 以为反证法可以随便推：每一步仍要严格，最后必须真的推出矛盾，而不是推出自己不喜欢的结论。
- 以为存在性证明只有一种：构造性证明给对象，非构造性证明只给承诺，强度不同。
应用场景
- 生活：做完一个判断，先写下「如果它错了，我会看到什么」，再去找那个现象；找得到就改，找不到才暂时保留。
- 职场：写方案时把结论拆成「前提 → 推理 → 结论」，让同事看出哪一步没撑住；没法证的假设要标成假设。
- 写作与创作：写推理情节，让侦探走反证法——先排除所有不可能，剩下的就是答案。
关联知识点
- 命题逻辑（propositional-logic，先读它拿到推理的形式，再来学怎么用）
- 演绎与归纳（deduction-induction，分清哪条路给出必然结论）
- 集合论（set-theory，数学归纳法的地基是自然数集的结构）
- 归纳问题（problem-of-induction，看清「归纳」二字的两层含义）