题目
离散数学证明题
用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
用CP规则证明A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E
提问时间:2020-07-21
答案
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))
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点
- 1细胞模型如何制作
- 2LORD BALOGH中文怎么翻译
- 3there are many________trees. A. thousand B.thousands of 为什么
- 4端粒和端粒酶为何能获诺贝尔医学奖
- 5甲乙丙三人,甲的钱是乙丙总钱的三分之一,乙的钱是甲丙两人的四分之一,已知丙有22元,甲乙丙三人共有几元
- 6英文翻译 1.谁拿走了我的书?刚才在桌子上的.(Who ,It)
- 7一个三位数,既是12和5的倍数,又有因数9,这个三位数最大是()
- 8《山雨》的赏析 急用!
- 9棋盘上的学问:古时候,在某个王国有一位聪明的大臣,他发明了国际象棋,献给了国王,国王从此迷上了下棋
- 10怎么理解角量子数?量子化又是什么.量子是什么