《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S

《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S

题目
《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
答案
(1)R P(添加前提)(2)┐RVP P(3)P T,(1),(2)(4)P→(Q→S) P(5)(Q→S) T,(3),(4),(6)Q P(7)S T,(5),(6)(8)R→S CP,(1),(7)其中,第3步的T用到了公式:┐A∧(A∨B) => B第5步和第7步的T用到了公式:A∧(A→B) => BP:前...
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.