作者AAQ8 ()
看板Grad-ProbAsk
標題[理工] 離散 邏輯問題
時間Tue Oct 2 14:35:25 2018
https://i.imgur.com/BoU3RuM.jpg
https://i.imgur.com/arDcjkS.jpg
https://i.imgur.com/dHOelgD.jpg
想請問像這種邏輯等價的問題
答案是否會唯一
因為我算出來的值都跟答案相反
但是一樣可以證明箭頭的左邊與右邊皆true
麻煩各位解惑
感恩
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 219.70.197.208
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1538462128.A.342.html
1F：→ Ricestone: 你右邊證出F->F 不夠 證明若p則q 是要確認p T則 q T 10/02 15:13
2F：→ Ricestone: 也就是解答上(1)在說的事情 10/02 15:14
3F：→ Ricestone: 應該說你右邊確認的不是->關係 10/02 15:18
4F：推 Bpassion: 題幹是說 假設那三個前提是true的話 則結論是true 結論 10/02 16:10
5F：→ Bpassion: 是 not(q)->s 要證明這個命題是true 也可以由命題本身 10/02 16:10
6F：→ Bpassion: 的前提 也就是not(q) 假設它為true 則 s為 true (direct 10/02 16:10
7F：→ Bpassion: proof) 前面的三個假設是用來確認 s為true的 你要用s 10/02 16:10
8F：→ Bpassion: 為false也行 但你要透過前面三個假設去確定 not(q) 是fa 10/02 16:10
9F：→ Bpassion: lse 不是一開始就在結論本身就推導他是false 10/02 16:10