先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,推出矛盾,从而否定相反的假设。从而证明原命题正确。
反证法是属于“间接证明法”一类,是从反面的角度思考问题的证明方法,具体地讲,反证法就是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛,矛盾的原因是假设不成立,所以肯定了命题的结论,从而使命题获得了证明。
先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,推出矛盾,从而否定相反的假设。从而证明原命题正确。
反证法是属于“间接证明法”一类,是从反面的角度思考问题的证明方法,具体地讲,反证法就是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛,矛盾的原因是假设不成立,所以肯定了命题的结论,从而使命题获得了证明。