离散数学 A∧B→(A→C)∧(C∧D)→E∧┐F→(D∧┐E)蕴含B→F 用CP规则求解
答案:1 悬赏:80
解决时间 2021-01-17 16:38
- 提问者网友：捧腹剧
- 2021-01-17 08:22
离散数学 A∧B→(A→C)∧(C∧D)→E∧┐F→(D∧┐E)蕴含B→F 用CP规则求解
最佳答案
- 二级知识专家网友：山河有幸埋战骨
- 2021-01-17 09:26
(p←→q)
<=> (p→q)∧(q→p)
<=> (┐p∨q)∧(┐q∨p)
<=> (┐p∧┐q)∨ (┐p∧p)∨(q∧┐q)∨(q∧p)
<=> (┐p∧┐q)∨(q∧p)
<=> ┐(p∨q)∨(q∧p)
=> ┐(p∨q)追问题目里没有双条件啊
<=> (p→q)∧(q→p)
<=> (┐p∨q)∧(┐q∨p)
<=> (┐p∧┐q)∨ (┐p∧p)∨(q∧┐q)∨(q∧p)
<=> (┐p∧┐q)∨(q∧p)
<=> ┐(p∨q)∨(q∧p)
=> ┐(p∨q)追问题目里没有双条件啊
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息！
大家都在看
推荐信息