离散数学证明题 用CP规则证明A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E
1个回答
展开全部
A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E
(1)B (T规则,附加前提)
(2)B→(A∧￢S) (P规则)
(3)A∧￢S (T规则(1)(2))
(4)A (T规则(3))
(5)A→(B∧C) (P规则)
(6)B∧C (T规则(4)(5))
(7)C (T规则(6))
(8)(E→￢F)→￢C (P规则)
(9)￢(E→￢F) (T规则(7)(8))
(10)E∧F (T规则(9))
(11)E (T规则(10))
(12)B→E (CP规则(1)(11))
(1)B (T规则,附加前提)
(2)B→(A∧￢S) (P规则)
(3)A∧￢S (T规则(1)(2))
(4)A (T规则(3))
(5)A→(B∧C) (P规则)
(6)B∧C (T规则(4)(5))
(7)C (T规则(6))
(8)(E→￢F)→￢C (P规则)
(9)￢(E→￢F) (T规则(7)(8))
(10)E∧F (T规则(9))
(11)E (T规则(10))
(12)B→E (CP规则(1)(11))
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
