反证
反证的寓意
反证是指在推理或证明过程中，通过假设命题的否定（即非命题）为真，然后推导出矛盾或不合逻辑的结论，从而间接证明原命题为真的论证方法。通常用于数学、逻辑学和哲学等领域。这种方法可以用以下步骤表示：
1. 假设原命题的否定是真实的。
2. 从这个假设出发，进行推理。
3. 推导出与已知事实或公理相矛盾的结果。
4. 由于从矛盾中不能得出真实的结论，所以原假设（即命题的否定）必须是错误的。
5. 因此，原命题（即我们最初的假设）是正确的。
在证明过程中，反证法是一种强有力的工具，因为它允许我们通过排除不可能的情况来确定真实情况。
