先提出一個與命題的結(jié)論相反的假設(shè),然后,從這個假設(shè)出發(fā),經(jīng)過正確的推理,推出矛盾,從而否定相反的假設(shè)。從而證明原命題正確。
反證法是屬于“間接證明法”一類,是從反面的角度思考問題的證明方法,具體地講,反證法就是從否定命題的結(jié)論入手,并把對命題結(jié)論的否定作為推理的已知條件,進(jìn)行正確的邏輯推理,使之得到與已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題等相矛,矛盾的原因是假設(shè)不成立,所以肯定了命題的結(jié)論,從而使命題獲得了證明。