→ Ricestone: 你右邊證出F->F 不夠 證明若p則q 是要確認p T則 q T 10/02 15:13
→ Ricestone: 也就是解答上(1)在說的事情 10/02 15:14
→ Ricestone: 應該說你右邊確認的不是->關係 10/02 15:18
推 Bpassion: 題幹是說 假設那三個前提是true的話 則結論是true 結論 10/02 16:10
→ Bpassion: 是 not(q)->s 要證明這個命題是true 也可以由命題本身 10/02 16:10
→ Bpassion: 的前提 也就是not(q) 假設它為true 則 s為 true (direct 10/02 16:10
→ Bpassion: proof) 前面的三個假設是用來確認 s為true的 你要用s 10/02 16:10
→ Bpassion: 為false也行 但你要透過前面三個假設去確定 not(q) 是fa 10/02 16:10
→ Bpassion: lse 不是一開始就在結論本身就推導他是false 10/02 16:10