作者abcd012345 (sadjeff)
看板Grad-ProbAsk
标题[理工] 逻辑等价两题
时间Sat Oct 26 20:36:05 2019
https://i.imgur.com/QKmMof6.jpg
题意是要求两边是否为逻辑等价
也就是运用逻辑公式去带求得两边相同则为逻辑等价。
请教画线(2),(4)小题：
https://i.imgur.com/ToCQgua.jpg
第(2)小题想不到还能怎麽换了
https://i.imgur.com/1S3c3Qz.jpg
这一题的答案是不是有错呢？
因爲我认爲我的算式没有错
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 110.28.230.209 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1572093367.A.536.html
※ 编辑: abcd012345 (110.28.230.209 台湾), 10/26/2019 20:37:11
1F：→ Ricestone: (2) ~p|p就是T 然後分配律乘进去，~q|q一样是T 10/26 20:43
2F：→ Ricestone: (4)你的算式有错，而且你就算写出两个不同的样子，这跟 10/26 20:48
3F：→ Ricestone: 它们逻辑等不等价又没关系，False就是要举反例 10/26 20:49
4F：→ abcd012345: 我对这题的了解是要把左边的式子换到右边，如果能换 10/26 21:01
5F：→ abcd012345: 成功，那就代表等价。如果换不成功还得在举一个反例 10/26 21:01
6F：→ abcd012345: 说明为什麽为false吗？ 10/26 21:01
7F：→ Ricestone: 没换成功只代表你没想到要怎麽换，这怎麽能说是证明？ 10/26 21:03
8F：→ abcd012345: 那像第五小题举反例的意思我看不懂，是类似真值表的 10/26 21:17
9F：→ abcd012345: 概念吗？ 10/26 21:17
10F：→ Ricestone: 就真值两边结果不同啊 10/26 21:27