[理工] 離散 propostition

看板Grad-ProbAsk作者 (蜜蜂P助)時間7年前 (2018/10/22 12:05), 7年前編輯推噓1(1推 0噓 6→)
留言7則, 3人參與, 7年前最新討論串1/1
https://i.imgur.com/rCLsubr.jpg
請問解答中等價於後面那些是怎麼推出來的呢？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.200.59.107 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1540181134.A.27B.html
→
10/22 12:46, 7年前 , 1F
p對就選q，p錯就選r
10/22 12:46, 1F
是指說 p對 q也會一起對，p錯 r會對 所以 p and q 同時成立，or，~p and r 同時成立這樣嗎？
推
10/22 12:51, 7年前 , 2F
好像是 p則q and 非p則r and q或r and 非q且r
10/22 12:51, 2F
→
10/22 12:55, 7年前 , 3F
...樓上講的好像直觀多了
10/22 12:55, 3F
→
10/22 13:19, 7年前 , 4F
也可以畫流程圖來看
10/22 13:19, 4F
※ 編輯: befdawn (140.120.220.2), 10/22/2018 13:55:44
→
10/22 14:15, 7年前 , 5F
對，而且你把這裡的r去掉，展開來就會變成正常的p->q
10/22 14:15, 5F
→
10/22 14:19, 7年前 , 6F
反過來說，相當於你把p->q的流程圖內，~p的部份多加上
10/22 14:19, 6F
→
10/22 14:19, 7年前 , 7F
一個r
10/22 14:19, 7F
‣ 更多 befdawn 的文章
文章代碼(AID): #1RpKoE9x (Grad-ProbAsk)