论文部分内容阅读
反证法属于间接证明法,是从反面的角度思考问题的证明方法。具体地讲,反证法是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件进行正确的逻辑推理,使之得到与已知条件、公理、定理、法则或已证明为正确的命题等相矛盾的结论。因为矛盾的原因是假设不成立,所以肯定了命题的结论,就使命题获得了证明。反证法依据的是逻辑思维规律中的"矛盾律"和"排中律"。