[理工]離散_(命題邏輯)p.10-79

看板Grad-ProbAsk作者 (fmtshk)時間6年前 (2019/04/19 00:32), 編輯推噓3(307)
留言10則, 4人參與, 6年前最新討論串1/1
https://i.imgur.com/YvUeTAD.jpg
請問這題:if "p" then "q" else "r" 前面學到(若p則q)是寫成(p→q) 但那個else "r"要怎麼表示? 我原本覺得應該是,如果(p→q)是flase,則答案等於r 但好像不太對? 然後解答說它等價(p^q)v(~p^r),這過程是怎麼轉換的? https://i.imgur.com/DPI4doh.jpg
另外是這題 一開始自己找的反例是p=q=1,r=s=0 帶入後應該是沒問題 但我就是隨便亂代,先給S代個1,然後p,q,r也隨便試一下 發現不行又把S換0才找出來 想問這種題目有沒有甚麼固定技巧? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.226.70.211 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1555605179.A.E8C.html

04/19 01:01, 6年前 , 1F

04/19 01:02, 6年前 , 2F
2.我是用暴力法
04/19 01:02, 2F

04/19 01:14, 6年前 , 3F
樓上網址最後一個等號怎麼出來的 要不要解釋一下?
04/19 01:14, 3F

04/19 01:25, 6年前 , 4F
q and r必為0阿,所以就變成最後一個式子了
04/19 01:25, 4F

04/19 02:42, 6年前 , 5F
上面這推的解釋是錯的,沒有兩個中必須有個0的前提
04/19 02:42, 5F

04/19 02:44, 6年前 , 6F
比較簡單的做法是在(q and r)補上and (p or ~p)
04/19 02:44, 6F

04/19 02:45, 6年前 , 7F
如此形成(q & r & ~p) or (q & r & p)
04/19 02:45, 7F

04/19 02:45, 6年前 , 8F
接著就能分別跟前兩個括號用吸收律消掉了
04/19 02:45, 8F

04/19 07:37, 6年前 , 9F
謝謝樓上修正
04/19 07:37, 9F

04/20 00:35, 6年前 , 10F
看懂了,感謝啦
04/20 00:35, 10F
文章代碼(AID): #1SkAQxwC (Grad-ProbAsk)