先提出一個與命題的結論相反的假設,然後,從這個假設出發,經過正确的推理,推出矛盾,從而否定相反的假設。從而證明原命題正确。
反證法是屬于“間接證明法”一類,是從反面的角度思考問題的證明方法,具體地講,反證法就是從否定命題的結論入手,并把對命題結論的否定作為推理的已知條件,進行正确的邏輯推理,使之得到與已知條件、已知公理、定理、法則或者已經證明為正确的命題等相矛,矛盾的原因是假設不成立,所以肯定了命題的結論,從而使命題獲得了證明。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!
查看全部