离散数学证明题用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/05/02 07:05:39
离散数学证明题
用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))
(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))
离散数学证明题用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
离散数学的证明题,若f:A→B是双射,则f-1:B→A是双射
用行列式性质证明| B+C C+A A+B | | A B C || D+E E+F F+D | =2 | D E F
离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?
逻辑学基础 证明 A∧B→C推出A→(B→C)
离散数学证明题,试证明集合等式A∪(B∩C)= (A∪B)∩(A∪C)
离散数学,A B C 为任意集合 证明
无色气体A、B、C黑色粉末D、E、F已知A+C→B;B+D→A;E+D→B+Cu加热紫黑色固体得到F和C.求A、E化学式
E #F #S A B #C #D E是什么调?
设A、B、C同为n阶方阵,证明:ABC=E←→BCA=E←→CAB=E.并据此求出A^-1、B^-1、C^-1.
离散数学A×B=A×C,A不是空集,则B=C.求证明过程.
有A,B,C,D,E,F六种化合物,它们之间的反应关系如下所示:①A+B→C+E ②C+Na0