[理工] 107中央離散 AAQ8 PTT批踢踢實業坊

作者: AAQ8 (不要就是要) 2019-01-11 09:44:16

https://i.imgur.com/i5WUq16.jpg
https://i.imgur.com/YPIzyPH.jpg
想請問(d)(e)為什麼不對
黃子嘉上課筆記這題可以當反例嗎
麻煩各位一下
感謝

作者: EXPCDR (EXPCDR) 2019-01-11 12:28:00

d e要同時成立才是等價關係

作者: AAQ8 (不要就是要) 2019-01-11 14:52:00

所以(d)(e)是指單向的這樣嗎選項的敘述寫equivalence law不能保證雙向?好奇怪哦那筆記那題不就也要從下面推回去才能保證邏輯等價了

作者: EXPCDR (EXPCDR) 2019-01-11 15:49:00

三條線是邏輯等價符號

作者: AAQ8 (不要就是要) 2019-01-11 17:14:00

那equivalence law沒有保證邏輯等價?

作者: alen0303 (艾倫零參智商負三) 2019-01-11 17:35:00

答案應該有錯 p≡...≡q p和q就等價本來就能這樣推導

作者: EXPCDR (EXPCDR) 2019-01-11 17:36:00

等價綠從p to q指的是單箭頭推導抱歉查了一下是我搞錯了d e是True才對

作者: AAQ8 (不要就是要) 2019-01-11 21:04:00

懂了感謝

繼續閱讀