作者befdawn (蜜蜂P助)
看板Grad-ProbAsk
標題[理工] 離散 propostition
時間Mon Oct 22 12:05:31 2018
https://i.imgur.com/rCLsubr.jpg
請問解答中等價於後面那些是怎麼推出來的呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.200.59.107
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1540181134.A.27B.html
1F：→ skyHuan: p對就選q，p錯就選r 10/22 12:46
是指說 p對 q也會一起對，p錯 r會對
所以 p and q 同時成立，or，~p and r 同時成立這樣嗎？
2F：推 magic83v: 好像是 p則q and 非p則r and q或r and 非q且r 10/22 12:51
3F：→ magic83v: ...樓上講的好像直觀多了 10/22 12:55
4F：→ Ricestone: 也可以畫流程圖來看 10/22 13:19
※ 編輯: befdawn (140.120.220.2), 10/22/2018 13:55:44
5F：→ Ricestone: 對，而且你把這裡的r去掉，展開來就會變成正常的p->q 10/22 14:15
6F：→ Ricestone: 反過來說，相當於你把p->q的流程圖內，~p的部份多加上 10/22 14:19
7F：→ Ricestone: 一個r 10/22 14:19