构造以下推理的证明 前提：￢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）析取三段式
　　5）┐p∨q 前提引入
　　6）┐p 4）5）析取三段式
得证.
再问： 课本上是这样写的，我看了好多遍了。
还有我想知道是不是没个前提中给出的每个条件都要用到？
其实我推理的时候没有用到R这个前提条件，我就想是我的方法错了还是题目给出的每个前提条件都要用来推理，不用来推理就是错，因此我才来百度知道提问的。
再答： 当然所以条件都要用上，本题的条件肯定是错了。
再问： 原来如此，谢了