如何理解数学证明的每个步骤。
说明每一步为何成立，包括使用的假设。把符号行复述成文字不足以讲清证明。
按任务需求调整流程。
识别命题、假设和每个证明步骤的理由。解释论证如何得出结论，并区分一般证明与仅用于说明命题的例子。
- 你需要提供什么
- 数学证明文本。
- 你会得到什么
- 推理与依赖关系的逐步解释。
查看输入和结果。
演示用输入和输出 · 教学示例，并非 WebAct 实时运行结果
示例 个输入项
Explain why the sum of two even integers is even.
完整示例
An even integer can be written as 2 times an integer. Let the two numbers be 2m and 2n, where m and n are integers. Their sum is 2m + 2n = 2(m + n). Since m + n is an integer, the sum is divisible by 2 and is therefore even.
将这份输入载入提示词，再复制到 WebAct 中尝试任务。实际结果可能与示例不同。
决策与问题排查。
多个成立的例子能证明普遍命题吗？
例子能建立直觉，但普遍命题需要覆盖所有允许情况的论证，或适当的证明方法。
为什么解释只是在复述符号？
指出支持每次推导的规则或假设。缺失的联系往往比将记号翻成文字更重要。
使用自己的资料试一试。
将任务提示词中的示例换成你的材料。保留所需条件，再把任务复制到 WebAct。
自定义并复制任务 ↑