[理工]離散_(命題邏輯)p.10-79
作者: fmtshk (fmtshk) 2019-04-19 00:32:57
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才找出來
想問這種題目有沒有甚麼固定技巧?
請問這題: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才找出來
想問這種題目有沒有甚麼固定技巧?
作者: raysun011081 (sanfrain011081) 2019-04-19 01:01:00
" target="_blank" rel="nofollow">2.我是用暴力法作者: yyc2008 (MAGA) 2019-04-19 01:14:00
樓上網址最後一個等號怎麼出來的 要不要解釋一下?
作者: raysun011081 (sanfrain011081) 2019-04-19 01:25:00
q and r必為0阿，所以就變成最後一個式子了
作者: Ricestone (麥飯石) 2019-04-19 02:42:00
上面這推的解釋是錯的，沒有兩個中必須有個0的前提比較簡單的做法是在(q and r)補上and (p or ~p)如此形成(q & r & ~p) or (q & r & p)接著就能分別跟前兩個括號用吸收律消掉了
作者: raysun011081 (sanfrain011081) 2019-04-19 07:37:00
謝謝樓上修正
作者: fmtshk (fmtshk) 2019-04-20 00:35:00
看懂了,感謝啦