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

[cheaptuesday (cheapleon)]

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 就卡了

後來用網路上的計算機是算 Ｐ&notQ

有請好心人解答 感激不盡

請問網路上還有有用的教材嗎

小弟rules of inference 看了好久還是不太懂

感謝！！！


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 172.103.148.69
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1474876821.A.91B.html
→ kerwinhui   : {(P or Q), not Q} |- P (disjunctive syllogism)