初中八年级数学反证法知识清单(1).docx

初中八年级数学反证法知识清单

一、核心概念与逻辑基石

（一）反证法的定义【基础】【核心】

反证法是一种间接证明方法，其基本思想是：欲证明一个命题成立，先假设该命题的结论不成立，即假设结论的反面成立，然后从这个假设出发，依据已知条件、定义、公理、定理进行一系列正确的逻辑推理，最终导致一个矛盾的结果（与已知条件矛盾，或与已知的公理、定理、定义矛盾，或与临时假设矛盾，或推出两个自相矛盾的结果）。根据逻辑学中的排中律，既然导致矛盾，说明假设“结论不成立”是错误的，从而间接地证明原命题的结论必然成立。这种方法在逻辑学上也被称为归谬法。

（二）逻辑学依据【拓展】【难点】

反证法的逻辑依据是形式逻辑中的两个