离散数学 构造以下推理的证明 前提:¬(p∧¬q),¬q∨r,¬r,结论:¬p

急急急,大神帮帮忙啊... 急急急,大神帮帮忙啊 展开
 我来答
长濑绵秋
2019-01-25 · TA获得超过8166个赞
知道大有可为答主
回答量:1万
采纳率:71%
帮助的人:556万
展开全部
你可能写错了,┐(q∨r) 应为 ┐(q∧r),否则推不出结论。
前提:┐p∨q,┐(q∧r),r
结论:┐p
推理如下:
1)r 前提引入
2)┐(q∧r) 前提引入
3)┐q∨┐r 2)等价置换
4)┐q 1)3)析取三段式
5)┐p∨q 前提引入
6)┐p 4)5)析取三段式
得证。
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式