[理工] 離散 邏輯問題

看板Grad-ProbAsk作者時間7年前 (2018/10/02 14:35), 編輯推噓1(1推 0噓 8→)
留言9則, 2人參與, 7年前最新討論串2/2 (看更多)
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://www.ptt.cc/bbs/Grad-ProbAsk/M.1538462128.A.342.html
→
10/02 15:13, 7年前 , 1F
你右邊證出F->F 不夠 證明若p則q 是要確認p T則 q T
10/02 15:13, 1F
→
10/02 15:14, 7年前 , 2F
也就是解答上(1)在說的事情
10/02 15:14, 2F
→
10/02 15:18, 7年前 , 3F
應該說你右邊確認的不是->關係
10/02 15:18, 3F
推
10/02 16:10, 7年前 , 4F
題幹是說 假設那三個前提是true的話 則結論是true 結論
10/02 16:10, 4F
→
10/02 16:10, 7年前 , 5F
是 not(q)->s 要證明這個命題是true 也可以由命題本身
10/02 16:10, 5F
→
10/02 16:10, 7年前 , 6F
的前提 也就是not(q) 假設它為true 則 s為 true (direct
10/02 16:10, 6F
→
10/02 16:10, 7年前 , 7F
proof) 前面的三個假設是用來確認 s為true的 你要用s
10/02 16:10, 7F
→
10/02 16:10, 7年前 , 8F
為false也行 但你要透過前面三個假設去確定 not(q) 是fa
10/02 16:10, 8F
→
10/02 16:10, 7年前 , 9F
lse 不是一開始就在結論本身就推導他是false
10/02 16:10, 9F
‣ 更多 AAQ8 的文章
文章代碼(AID): #1Rin6mD2 (Grad-ProbAsk)
‣ 更多 AAQ8 的文章
文章代碼(AID): #1Rin6mD2 (Grad-ProbAsk)