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