SOLUTION: I need to somehow get "R ≡ ∼Q" as the conclusion, using natural deduction (This means the 18 rules of natural deduction, Modus Ponens, Modus Tullens, De Morgan's Rule e

Algebra.Com
Question 928647: I need to somehow get "R ≡ ∼Q" as the conclusion, using natural deduction (This means the 18 rules of natural deduction, Modus Ponens, Modus Tullens, De Morgan's Rule etc etc.)



Conclusion: R ≡ ∼Q
1. A ⊃ (Q ∨ R)
2. (R • Q) ⊃ B
3. A • ∼B
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
 
 1. A->(QvR)
 2. (R&Q)->B	
 3. A&~B
 Conclusion: R<->~Q

 4. ~B               3,simp.
 5. ~B->~(R&Q)       2,CP
 6. ~(R&Q)           5,4,MP
 7. ~Rv~Q            6,DM
 8. ~~R->~Q          7,writing a disjunction as a conditional  
 9. R->~Q            8,DN
10. A                3,simp
11. QvR              1,10,MP
12. ~~QvR            11,DN
13. ~Q->R            10,writing a disjunction as a conditional
14. (R->~Q)&(~Q->R)  9,13,conjunction
15. R<->~Q           14, definition of biconditional   

Edwin
RELATED QUESTIONS

I need to somehow get ~K as the conclusion, using natural deduction (This means the 18... (answered by Edwin McCravy)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
PLease use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by mccravyedwin,math_tutor2020)
please use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by math_tutor2020)
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Please help me to derive the conclusion of the following using natural deduction. I'm... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)