离散数学 构造以下推理的证明 前提：￢P∨Q，￢(Q∨R)，R 结论：￢P 请解答详细点
1个回答
展开全部
你可能写错了，┐(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）析取三段式
得证。
前提：┐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）析取三段式
得证。
更多追问追答
追问
课本上是这样写的，我看了好多遍了。
还有我想知道是不是没个前提中给出的每个条件都要用到？
其实我推理的时候没有用到R这个前提条件，我就想是我的方法错了还是题目给出的每个前提条件都要用来推理，不用来推理就是错，因此我才来百度知道提问的。
追答
当然所以条件都要用上，本题的条件肯定是错了。
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
|
广告 您可能关注的内容 |
