[其他] 離散數學 推論規則

看板Math作者 (cheapleon)時間9年前 (2016/09/26 16:00), 編輯推噓0(001)
留言1則, 1人參與, 最新討論串1/1
Explain the rules of inference used to obtain each conclusion from the premises. "I am clever or lucky" "I am not lucky" "If I am lucky, then I will win the lottery" 小弟這題卡了很久 希望大大能幫解答 我的前提是設以下 http://imgur.com/WX0Ye58
到後面的not q 就卡了 後來用網路上的計算機是算 P&notQ 有請好心人解答 感激不盡 請問網路上還有有用的教材嗎 小弟rules of inference 看了好久還是不太懂 感謝!!! -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 172.103.148.69 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1474876821.A.91B.html

09/26 16:24, , 1F
{(P or Q), not Q} |- P (disjunctive syllogism)
09/26 16:24, 1F
文章代碼(AID): #1NwDMLaR (Math)