如何證明反證法是正確的?

時間 2021-06-03 07:20:09

1樓:一粒沙子

證明如下:

乙個可以證明的命題可以表示為:前提A下若B則C.

定理:乙個命題的真假與其逆否命題的否命題的真假值互異(學過命題的人都該看的懂)。

反正法的原理就是去判斷乙個可證明的命題的逆否命題的否命題的真假性(命題:前提A下若B則C),從而去證明這個命題的真假性。可證明的命題:

前提A下若B則C.用上面的這個命題去表示反正法的思路,就可以知道其原理。證畢。

2樓:

反證法並不是絕對正確的,只是在大部分人普遍接受的體系下是正確的。現在非ZFC學派依然存在,所以反證法對他們來說依然是站不住腳的。

反證法的證明需要用到最強的選擇公理,它的證明被稱為是集合論的一顆明珠。我們要證的是排中律,即P\/~P,它和反證法等價,即P<=>~~P。考慮下面兩個布林集合:

P_1=,P_2=。由於F在P_1裡,T在P_2裡,所以兩個集合都非空。由選擇公理,我們可以在P_1中選出x_1,在P_2中選出x_2。

由P_1和P_2的定義,x_1與x_2都是非真即假,從而總共有四種情況。如果x_1真,那麼由P_1定義P真,所以P\/~P;如果x_1與x_2均假,那麼由P_2定義P真,所以P\/~P;最後如果x_1假而x_2真,那麼如果P,則P_1=P_2,而這是假,故~P,所以P\/~P。

如何更好地理解反證法?

我覺得可以用若什麼則什麼什麼的句式表達,若後面是你的假設,則後面是這個假設推出的結論 有支援假設的性質 而假設是其所推出結論成立的充分條件,例如,氧氣可以讓帶火星的木條復燃,如果滿足是氧氣的這個假設,則木條復燃的這個結論一定成,但木條復燃並不能推出,其對應的一定是氧氣,也可能是其他助燃劑。他們不是互...

是否可能存在乙個命題,不能用反證法(證明其反命題為偽)證明,卻能直接證明其正確?

Andy Lee的回答是正確的。直覺主義邏輯沒有排中律,羅心澄的例子中最後結論依賴雙重否定,即 X X,這等價於排中律。 Andy Lee 反證法的原理是這樣 要證明正確,先設正確,然後。由於無矛盾律,恆假,那就恆真,在蘊含推理中,否定後件就能否定前件,那就能推出,消除雙重否定,就能推出了。不過,在...

如何證明熵增是正確的?

已登出 乙個剛考完物理的哲學系學生來答一下 因為考試內容主要是統計物理與量子物理 主要參考自己的課堂筆記.嚴格來說,熵 理解為日常語言中的 混亂度 是不準確的.準確來說,熵 是某一巨集觀狀態所對應的微觀狀態的數量.而 熵增 的現象,指的是某些對應微觀狀態更多的巨集觀狀態出現的概率更高的現象.舉個栗子...