离散数学证明题
用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
人气:172 ℃ 时间:2019-09-09 11:34:30
解答
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))
推荐
- 一道离散数学证明题
- 设(A,≤)是偏序集,定义函数f:A→P(A) 如下:
- 如果m+n和n+p都是偶数,其中m,n和p都是整数,那么m+p也是偶数
- 若B是布尔代数,则当a、b、c 时,有
- 树的证明题
- 一列火车从甲地开往乙地,中间要停留6站,沿途要准备多少张车票?
- 写作文的方式是什么?
- 集资购车:一共出资55万,A出10万.B出10万.
猜你喜欢
- Would you please keep the door _______?A.open B.to open C.opened D.opening
- 将5mol/L的硝酸镁溶液amL稀释至bmL 稀释后溶液中 硝酸离子的物质的量浓度为多少
- 120寸,130寸,133寸,138寸,150寸幕布的长宽分别是多少米?
- 三个数的平均数是120,甲数是乙数的2倍,丙数比甲数多4,甲乙丙三个数各是多少?
- 保尔身上的精神品质
- 英汉互译!如果你重返年轻.你会做什么?
- 六年级三个班学生植树,六(1)班植的棵树占总棵树的40%,六(2)班和六(3)班植树棵树的比是2:3.
- 小明在一长方体鱼缸内放入了一块鹅卵石,水面上升了2CM,长8CM,宽5CM,CM,求这块鹅卵石的体积