作者yipeng (peng)
看板W-Philosophy
標題[問題] 想請教三個邏輯論證問題,請好心人幫幫忙
時間Wed Apr 26 09:33:27 2006
這不是作業,只是我自己在自習時解不開的問題,希望有人可以幫我解答,謝謝^^
1.~A→(B˙C) / (D→~E)→(~B˙~A) / (EˇD)→C / ∴C
2.~C≡A / (F˙H)→~C / ~(AˇB) / ∴F˙~B
3.H→~(A→B) / HˇB / H≡~B
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.122.28.224