|
“三段论”<-->反证法
综合法与分析法
1.综合法：一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法。
用P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论，则综合法可用框图表示为：
2.分析法：一般地，从所要证明的结论出发，逐步寻求使它成立的充分条件，直到最后把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止。这种证明的方法叫做分析法。
用 表示要证明的结论，则分析法可用框图表示为：
 得到一个明显成立的条件
|
