什么是二重证明法
发布于 2023-07-05 10:08:00
浏览 80
详情：
1、
二重证明法（Reductio ad Absurdum）是一种逻辑推理方法，常用于数学和哲学中。它的基本思想是通过假设某个命题为真，然后通过逻辑推理的过程，推导出与已知事实或已经被证明为真的命题相矛盾的结论，从而证明原始的假设是错误的。
2、
具体来说，二重证明法包括以下步骤：
3、
1、假设待证明的命题为真，这是推理的起点。
4、
2、利用已知的事实、前提或已被证明为真的命题，运用逻辑推理进行推断，得出一个新的结论。
5、
3、通过分析这个新的结论与已知事实或已证明命题之间是否矛盾，检验是否存在矛盾或不合理的情况。
6、
4、如果发现新的结论与已知事实或已证明命题之间存在矛盾，那么原始的假设即为错误的，因为它导致了不合理的结论。
7、
5、因此，原始的假设被证明为假，待证明的命题也就被证明为真。
8、
二重证明法被广泛应用于证明反证法、数学定理以及逻辑推理的过程中。它的基本思路是通过推理的反向过程，通过找出矛盾或不合理的结论来证明原始命题的逆否命题。这种推理方法在解决问题时经常会带来洞察力和启发，并且被认为是一种有效的证明方法。
上一篇：黄金的计量单位
下一篇：什么是历史二重证据法
