定义 用文字语言、符号语言或图形语言，依据已知条件推导未知结论的逻辑过程。
从哪来 建立在“转换一：从'具体数'到'字母符号'”和“转换三：从'具体'到'抽象'”之上。
为什么 数学不仅是计算，更是逻辑推理。仅靠具体数字验证（如 $1+2=3$）只能说明个别情况成立，无法证明普遍规律（如 $a+b=b+a$）。证明通过抽象符号和逻辑链条，将“个别经验”升维为“普遍真理”，确保结论在任意条件下都必然成立，这是数学严谨性的核心。
讲法
类比“侦探破案”逻辑链
适合
形象思维强、喜欢故事化的学生。
讲解时强调：证明不是“猜答案”，而是“找证据”。已知条件是“线索”，公理/定理是“法律”，结论是“判决”。每一步推导必须像侦探推理一样，前一步是后一步的必然结果，不能跳跃，不能凭空捏造。例如：因为A导致B，因为B导致C，所以A导致C。
讲法
构建“多米诺骨牌”效应
适合
逻辑直觉较好、喜欢结构化的学生。
讲解时强调：证明是一排推倒的多米诺骨牌。第一张牌（已知条件）必须立稳，每一张牌（中间步骤）必须精准地推倒下一张，最后一张牌（结论）倒下时，整个链条才完整。如果中间有一张牌没推倒（逻辑断裂），或者推倒了不该推的（逻辑谬误），证明就失败了。
讲法
翻译“自然语言”为“符号语言”
适合
语言能力强、擅长规则记忆的学生。
讲解时强调：证明就是两种语言的互译。把“因为...所以...”翻译成“$\because$ ... $\therefore$ ...”。重点在于识别连接词（因为、所以、由于、故）背后的逻辑关系。只要把自然语言准确翻译成符号语言，并检查每一步是否符合代数运算规则，证明就完成了。