【出 处】： 反证法 化学解题 否定命题 应用 已知条件 逻辑推理 证明法 证明方法

【作 者】： 张宏良

【摘 要】反证法属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛昏准理而得。法国数学家阿达玛（Hadamard）对反证法的实质作过概括：“若肯定定理的假设而否定其结论，就会导致矛盾。”具体地讲，反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、原理或者已经证明为正确的命题等相矛盾，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。