作者: BBIO (準備研究所考試) 看板: TheLife
標題: 套套邏輯
時間: Sat Nov 30 01:22:33 2002

羅馬書3:5~8
3:5 我且照著人的常話說，我們的不義若顯出神的義來，我們可以怎麼說呢？
    神降怒，是他不義麼？
3:6 斷乎不是！若是這樣，神怎能審判世界呢？
3:7 若神的真實，因我的虛謊越發顯出他的榮耀，為甚麼我還受審判，好像罪人呢？
3:8 為甚麼不說，我們可以作惡以成善呢？這是毀謗我們的人說我們有這話。
    這等人定罪是該當的。

令A表示"神為公義"
令B表示"人為不義"
原論證可表為:
1. B -> A       #人的不義顯出神的義來
2. ~B           #神降怒...神不願我們不義
3. ~A -> ~(B•~B) #神若不義..怎能審判世界
4. /∴~~A       #神是公義的

使用自然演繹法如下:
5. ~A           AP
6. ~(B•~B)     3,5,MP
7. ~B v ~~B     6,DeM
8. ~B v B       7,DN
9. 證不下去了.....

用真值表證明:
A B || ((B->A)•(~B)•(~A->~(B•~B))) -> ~~A
----++---------------------------------------
F F ||   FT F    T      T T T   F   T F
根據演繹大定理..原論證無效...

居然有出現一行是F的....
居然是無效論證
為什麼為什麼?
保羅說的話是無效論證?
還是我的論證形式沒有寫對呢...?