[理工] 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

懂了感谢

继续阅读