三个角度探讨“正难则反”

• 作者: 顾俊
• 来源期刊: 新世纪智能
• 学科: 教育
• 关键词: 假设命题 间接证明 反证法 阿达玛 法国数学家 已知条件 正难则反 逻辑推理
• 年，卷（期）: 2019,（4）
• 页码范围: 16-18
• 页数: 3页
• 分类号: G63

摘要

反证法是一种常用的间接证明的方法.法国数学家阿达玛(Hadamard)对反证法的实质作过概括:“若肯定定理的假设而否定其结论,就会导致矛盾.”用反证法解题的过程包括反设、归谬、存真三个步骤,即假设命题的结论不成立(假定原结论的反面为真);从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;由矛盾结果,断定反设不真,从而肯定原结论成立.