构造下面推理的证明
题目
构造下面推理的证明
前提:非(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
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点
- 4u-v=6u-2v,求u,v
- 小红口算100道题,时间从10分钟减到8分钟,
- it was the first time that i had seen什么意思
- 那下面的句子写成比喻句
- 夕阳无限好,只是近黄昏,用英语怎么说?
- 在锐角三角形中,其中一角为60度,面积10倍根号3,周长20,求三边长.
- 鱼我所欲也 你对这段文字有哪些个人看法
- 用英语写4——5句节约用电的措施(适用于九年级)
- 分子在化学反应中--再分
- 理想电压/流表和普通电压/流表有什么区别?-_-