作者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/m.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