有時候一個命題的否定命題被證明是正確的，就證明了原命題,反證法首先假設命題的結論不成立，通過推理得出矛盾，從而證明原命題成立,目前似乎沒有關于反證法來源的詳細記載,反證法是間接證明的一種，是證明矛盾命題為假，然后根據排中律確認命題為真的一種方法,不過我看過一個有意思的例子about反證法和大家分享一下。

目前似乎沒有關于反證法來源的詳細記載。不過我看過一個有意思的例子about反證法和大家分享一下。“一位南方的風水先生去北方看風水，恰逢大雪。是一首荒誕的詩:“天上下雪，不下雨，地上雪化為雨；“早知道初雪會變成雨，為什么一開始不下雨？”他那歪歪扭扭的詩正好被一個放羊娃聽到了，還做了一首打油詩諷刺風水先生:“風水先生吃飯的時候不吃屎，但是一吃就變成了肚子里的屎；明知道早餐要變成屎了，為什么不一開始就吃屎。”實際上，小牧童巧妙地用反證法反駁了風水先生否定事物普遍運動規律，只強調結果而不強調變化過程的形而上學錯誤觀點:假設風水先生說的是真理，只強調變化的最終結果而不改變過程。然后按照他的邏輯，就可以得出風水先生一開始就應該吃屎的荒謬結論。風水先生當然不會承認這個事實。那么，很明顯，他說的是謬論。

反證法是間接證明的一種，是證明矛盾命題為假，然后根據排中律確認命題為真的一種方法。證明過程如下:題:P反題，非P證明“非P”為假，所以“P”為真(根據排中律)。例如，在經濟建設中，我們必須保護好自然環境，不能破壞生態平衡。因為，如果生態平衡被破壞，就會出現嚴重的自然災害，給人們的生命財產造成巨大的損失。這種后果是誰都不希望的。

反證法首先假設命題的結論不成立，通過推理得出矛盾，從而證明原命題成立。有時候一個命題的否定命題被證明是正確的，就證明了原命題，很容易證明這種情況適用于它的否定命題。適用范圍:證明某些命題，而正命題的證明比較困難復雜，而負命題相對簡單，具體方法:命題r=在C下，若A，則B反證:若A，則B證明B與A的矛盾，如證明“若P，則Q”為真命題，從否定其結論即“非Q”開始，通過正確的邏輯推理推導出矛盾，使“非Q”為假，即原命題為真。這樣，定義:一種間接論證，首先與原命題相矛盾的命題，即反命題是假的，然后根據排中律原命題是真的。論證過程可以表述為:A不成立，如果不是A，那么B不是B所以，不是A所以，A。