SOLUTION: I am having trouble solving this proof: 1. DvM 2. M-->R 3. Sv(Q&X) 4. R-->~S 5. ~D /Q So far I have: 6. M 7. R 8. (M&R) Is this correct so far? This is t

Algebra ->  Proofs -> SOLUTION: I am having trouble solving this proof: 1. DvM 2. M-->R 3. Sv(Q&X) 4. R-->~S 5. ~D /Q So far I have: 6. M 7. R 8. (M&R) Is this correct so far? This is t      Log On


   

Question 928249: I am having trouble solving this proof:
1. DvM
2. M-->R
3. Sv(Q&X)
4. R-->~S
5. ~D /Q
So far I have:
6. M
7. R
8. (M&R)
Is this correct so far? This is the farthest I have gotten and don't quite understand how to solve the rest of this proof. Any help would be greatly appreciated. Thank you!
Answer by AnlytcPhil(1808) About Me  (Show Source):
You can put this solution on YOUR website!
You step 8 is incorrect.

Here's how I would do it:

 1. DvM
 2. M-->R
 3. Sv(Q&X)
 4. R-->~S
 5. ~D            /Q

 6. M    1,5  DS   (disjunctive syllogism)
 7. R    2,6  MP   (modus ponens)
 8. ~S   4,7  MP   (modus ponens)  
 9. Q&X  3,8  DS   (disjunctive syllogism)
10. Q    9,simp    (simplification)

Edwin