https://i.imgur.com/BoU3RuM.jpg
https://i.imgur.com/arDcjkS.jpg
https://i.imgur.com/dHOelgD.jpg
想請問像這種邏輯等價的問題
答案是否會唯一
因為我算出來的值都跟答案相反
但是一樣可以證明箭頭的左邊與右邊皆true
麻煩各位解惑
感恩

你右邊證出F->F 不夠 證明若p則q 是要確認p T則 q T也就是解答上(1)在說的事情應該說你右邊確認的不是->關係

題幹是說 假設那三個前提是true的話 則結論是true 結論是 not(q)->s 要證明這個命題是true 也可以由命題本身的前提 也就是not(q) 假設它為true 則 s為 true (directproof) 前面的三個假設是用來確認 s為true的 你要用s為false也行 但你要透過前面三個假設去確定 not(q) 是false 不是一開始就在結論本身就推導他是false