作者AAQ8 ()
看板Grad-ProbAsk
標題[理工] 107中央離散
時間Fri Jan 11 09:44:16 2019
https://i.imgur.com/i5WUq16.jpg
https://i.imgur.com/YPIzyPH.jpg
想請問(d)(e)為什麼不對
黃子嘉上課筆記這題可以當反例嗎
麻煩各位一下
感謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.8.193.234
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1547171059.A.46C.html
1F：推 EXPCDR: d e要同時成立才是等價關係 01/11 12:28
2F：→ AAQ8: 所以(d)(e)是指單向的這樣嗎 選項的敘述寫equivalence law 01/11 14:52
3F：→ AAQ8: 不能保證雙向? 01/11 14:52
4F：→ AAQ8: 好奇怪哦 那筆記那題不就也要從下面推回去才能保證邏輯等價 01/11 14:54
5F：→ AAQ8: 了 01/11 14:54
6F：推 EXPCDR: 三條線是邏輯等價符號 01/11 15:49
7F：→ AAQ8: 那equivalence law沒有保證邏輯等價? 01/11 17:14
8F：推 alen0303: 答案應該有錯 p≡...≡q p和q就等價 本來就能這樣推導 01/11 17:35
9F：推 EXPCDR: 等價綠從p to q指的是單箭頭推導 01/11 17:36
10F：推 EXPCDR: 抱歉查了一下是我搞錯了 01/11 17:39
11F：→ EXPCDR: d e是True才對 01/11 17:39
12F：→ AAQ8: 懂了 感謝 01/11 21:04