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

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(1806) (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

RELATED QUESTIONS
1. p <--> q 2. p -> r 3. p -> (r -> s) Therefore q -> s ...so far I've tried... (answered by jim_thompson5910)

a b c d e f g h i j k l m n o p q r (answered by ewatrrr)

1. (QvR)->(WvU) 2. W->P 3. Q.T 4. U->Z 5. S->M 6. Sv~Y 7. (PvZ)->~M :. ~Y (answered by lynnlo)

I have bee having trouble solving these problems and been at it for hours I need help.... (answered by solver91311)

Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)

Can anybody solve this proof for me? 1. L > Q 2. ~(Q & R) 3. L / ~R -----... (answered by solver91311)

(answered by ewatrrr)

1. (Q∨R)→(W∨U) 2. W→P 3. Q∙T 4. U→Z 5. S→M (answered by jim_thompson5910)

I'm having a ton of trouble figuring out this proof for our take-home quiz. We're only... (answered by jim_thompson5910)