[理工] 107中央離散

[AAQ8 ()]

https://i.imgur.com/i5WUq16.jpg
https://i.imgur.com/YPIzyPH.jpg

想請問(d)(e)為什麼不對

黃子嘉上課筆記這題可以當反例嗎

麻煩各位一下

感謝



--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.8.193.234
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1547171059.A.46C.html
推 EXPCDR: d e要同時成立才是等價關係
→ AAQ8: 所以(d)(e)是指單向的這樣嗎 選項的敘述寫equivalence law
→ AAQ8: 不能保證雙向?
→ AAQ8: 好奇怪哦 那筆記那題不就也要從下面推回去才能保證邏輯等價
→ AAQ8: 了
推 EXPCDR: 三條線是邏輯等價符號
→ AAQ8: 那equivalence law沒有保證邏輯等價?
推 alen0303: 答案應該有錯 p≡...≡q p和q就等價 本來就能這樣推導
推 EXPCDR: 等價綠從p to q指的是單箭頭推導
推 EXPCDR: 抱歉查了一下是我搞錯了
→ EXPCDR: d e是True才對
→ AAQ8: 懂了 感謝