构造下面推理的证明

构造下面推理的证明

题目
构造下面推理的证明
前提:非(p合取非q),非q析取r,非r
结论:非p
答案
前提:┐(p∧(┐q)) ,┐q∨r ,┐r
┐q∨r ,┐r=>┐q ----1
┐(p∧(┐q))=>┐p∧q -----2
由1,2得┐q &┐p∧q => ┐p
结论为┐p
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点

超级试练试题库

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