来自刘媛的问题
离散数学证明题用CP规则证明A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E
离散数学证明题
用CP规则证明A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E
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))
大家都在问
最新问答
海冰含盐量接近淡水，...2020-12-30
三峡游山峰一下子就被...2020-12-30
二元一次方程简单的配...2020-12-30
【偏裨将校是什么意思...2020-12-30
如图秒表的读数为__...2020-12-30
____abigfi...2020-12-30
【知道本金和税后利息...2020-12-30
《一百条裙子》读后感...2020-12-30
利用矩阵解二元一次方...2020-12-30
【英语中的peasa...2020-12-30