你可能寫錯(cuò)了,┐(q∨r) 應(yīng)為 ┐(q∧r),否則推不出結(jié)論.　　前提：┐p∨q,┐(q∧r),r　　結(jié)論：┐p　　推理如下：　　1）r 前提引入　　2）┐(q∧r) 前提引入　　3）┐q∨┐r 2）等價(jià)置換　　4）┐q 1）3）析取三...課本上是這樣寫的，我看了好多遍了。
還有我想知道是不是沒個(gè)前提中給出的每個(gè)條件都要用到？
其實(shí)我推理的時(shí)候沒有用到R這個(gè)前提條件，我就想是我的方法錯(cuò)了還是題目給出的每個(gè)前提條件都要用來推理，不用來推理就是錯(cuò)，因此我才來百度知道提問的。當(dāng)然所以條件都要用上，本題的條件肯定是錯(cuò)了。原來如此，謝了