命题、定理与证明——数学中的逻辑推理
从生活中的判断句出发，理解什么是命题、真命题与假命题，认识定理是经过证明的真命题，并学会用清晰的步骤完成简单的证明过程。
一、概念导入：从天气预报说起
每天天气预报都会说：“如果明天降雨概率超过70%，那么我会带伞。” 这个句子是一个判断。在数学里，我们把这样对某一事物作出判断的语句叫作命题。
再比如：“北京是中国的首都。”——这是一个正确的判断。“对顶角相等。”——这也是一个正确的判断。“如果一个数能被2整除，那么它是偶数。”——这又是一个判断。但“这只小狗真可爱！”不是判断，它没有说对还是错，所以不是命题。
数学中，命题通常写成“如果……那么……”的形式，比如：“如果两个角是对顶角，那么这两个角相等。”
二、核心讲解：命题的“体质”与“身份证”
1. 命题的结构
命题由两部分组成：题设（已知条件）和结论（由条件推出的结果）。在“如果……那么……”中，“如果”后面是题设，“那么”后面是结论。
例如：命题“如果 a = b，那么 a² = b²”中，题设是 a = b ，结论是 a² = b²。
2. 真命题与假命题
一个命题如果题设成立时结论一定成立，那就是真命题；如果题设成立时结论不成立，那就是假命题。判断假命题，只需要举出一个反例。
3. 定理与证明
定理是经过推理证实的真命题。比如“对顶角相等”就是一个定理，因为它可以从“平角的定义”推理出来。而证明就是从已知条件出发，经过一步步逻辑推理，最后得出结论的过程。证明必须步步有据：每一步推理都要依据已知的定义、公理或已经证明的定理。
三、证明过程：像拼乐高一样一步一步来
我们通过一个例子看怎么证明一个命题。
命题：如果 ∠1 和 ∠2 是对顶角，那么 ∠1 = ∠2。
我们知道对顶角的定义：两条直线相交，其中相对的两个角是对顶角。为了证明这个结论，我们利用“平角等于180°”这个事实。
证明步骤：
- 因为 ∠1 和 ∠2 是对顶角（已知），所以它们是由两条相交直线形成的。
- 不妨设 ∠1 和 ∠3 是邻补角（∠1 的邻补角），那么 ∠1 + ∠3 = 180°（邻补角的意义）。
- 同样，∠2 和 ∠3 也是邻补角，所以 ∠2 + ∠3 = 180°。
- 于是 ∠1 + ∠3 = ∠2 + ∠3。
- 两边同时减去 ∠3，得到 ∠1 = ∠2。
这就是一个完整的证明。每一步都有理由（括号内的是依据）。
四、典型例题
例1（基础）：判断下列语句是不是命题？如果是，指出它是真命题还是假命题。
- ① 你吃过午饭了吗？
- ② 同角的余角相等。
- ③ 画一条线段等于已知线段。
- ④ 如果 a > 0，b > 0，那么 a + b > 0。
解答：
- ① 是疑问句，没有判断，所以不是命题。
- ② 是命题，而且它是真命题（因为同角的余角都等于90°减去那个角，所以相等）。
- ③ 是叙述一个动作，没有判断，所以不是命题。
- ④ 是命题，题设是“a > 0且b > 0”，结论是“a + b > 0”。这是真命题，正数加正数还是正数。
易错提醒：疑问句、感叹句、祈使句都不是命题。只有能判断真假的陈述句才是命题。
例2（提高）：将下列命题改写成“如果……那么……”的形式，并判断真假：
① 对顶角相等。② 相等的角是对顶角。
解答：
- ① 如果两个角是对顶角，那么这两个角相等。这是真命题（我们已经证明过）。
- ② 如果两个角相等，那么这两个角是对顶角。这是假命题，反例：等腰三角形的两个底角相等，但它们不是对顶角。
易错提醒：把原命题的条件和结论交换后得到的新命题不一定真，要警惕“逆命题”的真假。
例3（综合）：证明命题“如果两条平行线被第三条直线所截，那么同位角相等”。（提示：结合平行线性质）
解答：
已知：如图，直线 a ∥ b，直线 c 与 a、b 分别交于点 A、B，∠1 和 ∠2 是同位角。
求证：∠1 = ∠2。
证明：
- 因为 a ∥ b（已知），所以根据平行线的性质，同位角相等。
- 但这里我们正是要证明这个性质本身，所以不能用它。实际上，平行线的性质是公理（不需要证明的真理）。在初中阶段，我们接受“两直线平行，同位角相等”作为公理，所以直接可得 ∠1 = ∠2。
（注：在几何系统中，平行线的性质是作为公理给出的，因此证明可以直接引用。）
五、常见误区
- 误区一：认为所有真命题都可以称为定理。实际上，定理是经过严谨证明且被广泛认可的真命题。一些显而易见的公理不是定理，但真命题如果未经证明就是猜测。
- 误区二：在证明中“想当然”，跳步。例如，说“因为对顶角相等，所以……”但在证明对顶角相等时又用它，就是循环论证。每步都要有依据。
- 误区三：混淆命题的题设和结论。比如把“如果……那么……”中的顺序搞反。要记住：先有条件，后有结果。
- 误区四：举反例时举的例子不符合题设。例如判断“如果 x² = 4，那么 x = 2”为假，反例要取 x = -2，它满足 x² = 4 但不满足结论，符合要求。
六、学习建议
- 多读课本上的定理证明，体会每一步的因果关系。
- 尝试自己写证明，开始时可以模仿课本格式，写清楚“因为……（依据），所以……”。
- 对于假命题，多练习找反例。反例必须同时满足题设并推翻结论。
- 使用“如果……那么……”句式改写命题，能帮你快速分清条件和结论。
七、知识链接
命题、定理、证明是后续学习几何证明（三角形、平行四边形等）以及代数推理（如整式运算中的恒等式证明）的基础。小学学过的“等量代换”“加减消元”其实都是证明的雏形。掌握好这一步，就能从“算数学”升级到“证数学”。
八、习题自测
- 下列语句中，哪些是命题？如果是，指出题设和结论：
① 如果两条直线都垂直于同一条直线，那么这两条直线平行。
② 同旁内角互补，两直线平行。
③ 延长线段AB到C。 - 判断下列命题的真假，如果是假命题，请举一个反例：
① 如果 a > b，那么 a² > b²。
② 两点之间，线段最短。 - 补全下面的证明过程：
已知：如图，∠1 + ∠2 = 180°，∠3 = ∠4。求证：a ∥ c。
证明：因为 ∠1 + ∠2 = 180°（已知），所以 a ∥ b（________）。
又因为 ∠3 = ∠4（已知），所以 b ∥ c（________）。
所以 a ∥ c（平行于同一直线的两直线平行）。
答案：
- ① 是命题；题设：两条直线都垂直于同一条直线；结论：这两条直线平行。② 是命题；题设：同旁内角互补；结论：两直线平行。③ 不是命题，是作图描述。
- ① 假命题，反例：a = 1，b = -2，则 1 > -2 但 1² = 1 < 4 = (-2)²。② 真命题（这是线段公理）。
- （1）同旁内角互补，两直线平行；（2）内错角相等，两直线平行。