构造以下推理的证明 前提：￢P∨Q,￢(Q∨R),R 结论：￢P
问题描述：
构造以下推理的证明 前提：￢P∨Q,￢(Q∨R),R 结论：￢P
答
你可能写错了,┐(q∨r) 应为 ┐(q∧r),否则推不出结论. 前提：┐p∨q,┐(q∧r),r 结论：┐p 推理如下： 1）r 前提引入 2）┐(q∧r) 前提引入 3）┐q∨┐r 2）等价置换 4）┐q 1）3）析取三...课本上是这样写的，我看了好多遍了。
还有我想知道是不是没个前提中给出的每个条件都要用到？
其实我推理的时候没有用到R这个前提条件，我就想是我的方法错了还是题目给出的每个前提条件都要用来推理，不用来推理就是错，因此我才来百度知道提问的。当然所以条件都要用上，本题的条件肯定是错了。原来如此，谢了