[理工] if p then q else r的等價表示法

[Moderator (ㄒㄒㄒㄒㄒㄒㄒㄒㄒㄒㄒx)]

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://www.ptt.cc/bbs/Grad-ProbAsk/M.1577353275.A.D95.html
※ 編輯: Moderator (114.37.180.253 臺灣), 12/26/2019 18:22:48
→ Moderator: 補上題目相片
推 yahooyamgoog: 他不是說用 ^ v ~這三個嗎
→ Moderator: 第二題確實這麼說 但是第一題題幹沒提及
→ Moderator: 不過我在意的是為什麼if p then q可以寫成p^q
→ Moderator: 如果是p->q 則是和 ~pvq等價(從真值表推得)
發現只有使用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
推 yahooyamgoog: https://bit.ly/2ZogVk6
原來要寫成AND才會等價>"<
(p->q)and(~p->r)

我一直都寫成OR怎麼算都不對

感謝解答~~~
※ 編輯: Moderator (114.37.180.253 臺灣), 12/26/2019 19:45:58
→ Ricestone: 那助教寫的是錯的
→ Ricestone: 結論對，但推導過程不對，q跟r之間沒有不能同時成立
→ Ricestone: #1SkAQxwC (Grad-ProbAsk)