[理工] if p then q else r的等價表示法
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
→
12/26 18:23,
6年前
, 1F
12/26 18:23, 1F
推
12/26 18:42,
6年前
, 2F
12/26 18:42, 2F
→
12/26 19:20,
6年前
, 3F
12/26 19:20, 3F
→
12/26 19:21,
6年前
, 4F
12/26 19:21, 4F
→
12/26 19:22,
6年前
, 5F
12/26 19:22, 5F
發現只有使用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
推
12/26 19:40,
6年前
, 6F
12/26 19:40, 6F
原來要寫成AND才會等價>"<
(p->q)and(~p->r)
我一直都寫成OR怎麼算都不對
感謝解答~~~
※ 編輯: Moderator (114.37.180.253 臺灣), 12/26/2019 19:45:58
→
12/26 20:10,
6年前
, 7F
12/26 20:10, 7F
→
12/26 20:11,
6年前
, 8F
12/26 20:11, 8F
→
12/26 20:13,
6年前
, 9F
12/26 20:13, 9F