更新1:
a→b c→b ¬c∧¬a conclusion: ¬b
If a, then b If c, then b not a and not c How to proof the conclusion is not b?
回答 (1)
2017-03-24 6:56 am
✔ 最佳答案
SolA=>B is true
～A or B is true
C=>B is true
～C or B is true
(～A or B) and (～C or B) is true
(～A and ～C) or B is true
~(~A and ~C)=>B is true
～B =>～(～A and～~C) is true
Can not jump to the conclusion
收錄日期: 2021-04-30 22:09:45
原文連結 [永久失效]:
https://hk.answers.yahoo.com/question/index?qid=20170323092823AAcNNzX