作者Moderator (ㄒㄒㄒㄒㄒㄒㄒㄒㄒㄒㄒx)
看板Grad-ProbAsk
标题[理工] if p then q else r的等价表示法
时间Thu Dec 26 17:41:12 2019
https://imgur.com/gallery/nmyhoYX
符号使用:
v: OR
-p: 非p
-----
"if p then q else r"
我会以为 if p then q的表示法为
p->q
所以答案会写成
(p->q) v (-p->r)
但事实上答案是
(p^q) v (-p^r)
----
所以要怎麽解释"if p then q"呢? 我还以为等价於"若P则Q"...
谢谢!!
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.37.180.253 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1577353275.A.D95.html
※ 编辑: Moderator (114.37.180.253 台湾), 12/26/2019 18:22:48
1F：→ Moderator: 补上题目相片 12/26 18:23
2F：推 yahooyamgoog: 他不是说用 ^ v ~这三个吗 12/26 18:42
3F：→ Moderator: 第二题确实这麽说 但是第一题题干没提及 12/26 19:20
4F：→ Moderator: 不过我在意的是为什麽if p then q可以写成p^q 12/26 19:21
5F：→ Moderator: 如果是p->q 则是和 ~pvq等价(从真值表推得) 12/26 19:22
发现只有使用if p then q else r这样的句法才会造成(p^q) v (~p^r)的写法
一般的if p then q 都写成直觉的p->r
求指教
※ 编辑: Moderator (114.37.180.253 台湾), 12/26/2019 19:42:17
原来要写成AND才会等价>"<
(p->q)and(~p->r)
我一直都写成OR怎麽算都不对
感谢解答~~~
※ 编辑: Moderator (114.37.180.253 台湾), 12/26/2019 19:45:58
7F：→ Ricestone: 那助教写的是错的 12/26 20:10
8F：→ Ricestone: 结论对，但推导过程不对，q跟r之间没有不能同时成立 12/26 20:11