数学反证法如何假设

编辑:全民百科 时间:2024-09-29 15:09:55

先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,推出矛盾,从而否定相反的假设。从而证明原命题正确。

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