[理工] 107中央離散

看板Grad-ProbAsk作者時間7年前 (2019/01/11 09:44), 編輯推噓5(5推 0噓 7→)
留言12則, 3人參與, 7年前最新討論串1/1
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
推
01/11 12:28, 7年前 , 1F
d e要同時成立才是等價關係
01/11 12:28, 1F
→
01/11 14:52, 7年前 , 2F
所以(d)(e)是指單向的這樣嗎 選項的敘述寫equivalence law
01/11 14:52, 2F
→
01/11 14:52, 7年前 , 3F
不能保證雙向?
01/11 14:52, 3F
→
01/11 14:54, 7年前 , 4F
好奇怪哦 那筆記那題不就也要從下面推回去才能保證邏輯等價
01/11 14:54, 4F
→
01/11 14:54, 7年前 , 5F
了
01/11 14:54, 5F
推
01/11 15:49, 7年前 , 6F
三條線是邏輯等價符號
01/11 15:49, 6F
→
01/11 17:14, 7年前 , 7F
那equivalence law沒有保證邏輯等價?
01/11 17:14, 7F
推
01/11 17:35, 7年前 , 8F
答案應該有錯 p≡...≡q p和q就等價 本來就能這樣推導
01/11 17:35, 8F
推
01/11 17:36, 7年前 , 9F
等價綠從p to q指的是單箭頭推導
01/11 17:36, 9F
推
01/11 17:39, 7年前 , 10F
抱歉查了一下是我搞錯了
01/11 17:39, 10F
→
01/11 17:39, 7年前 , 11F
d e是True才對
01/11 17:39, 11F
→
01/11 21:04, 7年前 , 12F
懂了 感謝
01/11 21:04, 12F
‣ 更多 AAQ8 的文章
文章代碼(AID): #1SD_JpHi (Grad-ProbAsk)