欢迎来到数学逻辑的世界！

在 H3 数学中，你不再只是一个“计算器”——你是一位数学评论家和架构师。在数学探究与阅读数学文本这一部分中，最重要的技能之一就是完成或评论一个证明过程。

与其单纯地解出 \(x\)，你将会面对一份完成（或半完成）的作业，并问自己：“这真的合理吗？”或是“要让这座桥梁稳固，还缺了什么？”如果一开始觉得这有点抽象，别担心。把它想象成选秀节目的评委——你要做的就是找出作品的亮点，并指出其中的破绽！


1. 完成证明过程：“补全缺失的桥梁”

有时候，数学家只会提供证明的“草图”。你的任务是填补逻辑上的空缺，使之成为一个完整的解法。这种情况常出现在数学归纳法或直接证明法中。

如何填补空缺：

1. 确认目标：该解法最终试图达到的定理或命题是什么？
2. 检查连接词：是否遗漏了“蕴含”（\(\Rightarrow\)）的箭头？下一步是否真的能从前一步推导出来？
3. 检查分类情况：作者是否只解决了 \(n > 0\) 的情况，却忽略了 \(n = 0\)？完成证明往往意味着要补上这些特殊情况。

例子：如果一个证明展示了当 \(n\) 为偶数时 \(n^2\) 亦为偶数，但目标是证明所有整数的情况，你就必须考虑 \(n\) 为奇数的情况，从而完成该证明。

小贴士：在文本中留意“同理可证……”(Similarly...) 这类字眼。数学家常以此跳过步骤。要完成证明，你必须能精确解释该“同理”背后的具体推论！


2. 评论证明过程：化身数学侦探

所谓评论一个证明，是指评估其有效性。逻辑是否严密，还是论证中存在“漏洞”？即使最终答案正确，其推论过程也可能是错误的。

常见的“警示信号”：

A. 逆命题谬误 (Converse Error)：“若 \(P\)，则 \(Q\)”为真，并不代表“若 \(Q\)，则 \(P\)”也为真。 类比：“若正在下雨，草地就会湿”是真的。但如果你看到草地是湿的，不能直接假设是因为下雨——也许有人用了洒水器！

B. 误用量词：注意“对于所有”(\(\forall\)) 与“存在”(\(\exists\)) 之间的差别。 常见错误：证明了某事对一个数成立 (\(\exists\))，就宣称它对所有数成立 (\(\forall\))。

C. 除以零：这听起来很简单，但在复杂的代数证明中，作者往往会在未确保 \(x \neq a\) 的情况下，除以一个变量（如 \(x - a\)）。这是评论题中经典的“漏洞”。

D. 循环论证：证明是否预设了结论为真来证明该结论？ 例子：为了证明 \(A\) 为真，作者使用了性质 \(B\)。但性质 \(B\) 只有在 \(A\) 为真的前提下才存在。这是一个逻辑上的“死胡同”！

重点总结：

评论并不仅仅是说“这是错的”。一个好的评论会指出逻辑在哪里失败以及为什么（例如：“作者在没有证明的情况下，假设了其逆命题为真”）。


3. 逻辑连接词与条件句

要有效地进行评论，你必须掌握课程大纲中的术语。如果你觉得这些很混淆，把它们想象成“逻辑交通信号”。

  • 必要条件 (Necessary Condition)：结论要成立所必须满足的条件。（若条件不满足，结论绝对为假）。
  • 充分条件 (Sufficient Condition)：如果满足此条件，就保证结论成立。
  • 若且唯若 (If and only if, iff)：这意味着关系在两个方向上都完全成立。这是数学等价性的“黄金标准”。

你知道吗？许多学生因为在题目要求提供充分条件时，却给出了必要条件而丢分。务必检查逻辑的“箭头”是指向单向还是双向！


4. 评论证明的逐步指南

当你拿到一份文本进行评论时，请遵循以下步骤：

1. 使用反例测试：在阅读逻辑之前，试试简单的数值。如果“证明”声称对所有 \(n\) 成立，试试 \(n=0\) 或 \(n=1\)。如果失败，你立刻就找到了反例证明法！
2. 识别“若……则……”：清楚标记作者的假设（前提）以及他们试图展示的目标（结论）。
3. 检查定义：作者是否正确使用了定义？例如，当讨论“质数”时，他们是否不小心将 1 也包含进去了？
4. 寻找漏洞：文中是否有“显然……”或“清楚地……”这类句子？这些往往是逻辑链中最脆弱环节的藏身之处。


5. 总结与快速复习

如果一开始觉得棘手，不用担心！评论能力属于高阶技巧，随着练习会不断提升。你正在从数学的“使用者”转变为数学的“分析师”。

快速复习箱：
- 完成证明：找出缺失的步骤、分类情况或逻辑链接。
- 评论证明：寻找逻辑谬误（逆命题谬误、循环论证、除以零）。
- 量词：确保正确使用 \(\forall\)（对于所有）和 \(\exists\)（存在）。
- 反例：“击破”错误证明的最快方法。

记忆口诀：评论时使用 "C.A.S.E." 方法：
Converse (检查是否有逆命题谬误)
Assumptions (检查假设是否有效)
Special cases (检查是否遗漏 \(n=0\) 或 \(n=1\) 等特殊情况)
Equivalence (检查“若”是否被误认为“若且唯若”)？


继续练习这些探究活动吧！你阅读他人的数学推论越多，你自己的数学写作能力就会越进步。