SOLUTION: 1. (Q ⊃~J) ⊃ (M ⊃~D) 2. Q ⊃M 3. M ⊃ ~J/Q ⊃ ~D I am at a complete lost with this one. I believe we are gong to use motus ponens and possibly MT as well

Algebra.Com
Question 1171851: 1. (Q ⊃~J) ⊃ (M ⊃~D)
2. Q ⊃M
3. M ⊃ ~J/Q ⊃ ~D
I am at a complete lost with this one. I believe we are gong to use motus ponens and possibly MT as well
Found 2 solutions by math_tutor2020, Edwin McCravy:
Answer by math_tutor2020(3816)   (Show Source): You can put this solution on YOUR website!

I'm going to use an arrow symbol instead of a horsehoe symbol.
One way to do the derivation is this:
NumberStatementLines UsedReason
1(Q -> ~J) -> (M -> ~D)
2Q -> M
3M -> ~J
:.Q -> ~D
4Q -> ~J2,3Hypothetical Syllogism
5M -> ~D1,4Modus Ponens
6Q -> ~D2,5Hypothetical Syllogism
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
You're posting too many problems.  You should watch some Youtube videos on the
subject.  There are lots of them online.  Here are a few.  You can find others.

https://www.youtube.com/watch?v=PDNjNtJIXzs

https://www.youtube.com/watch?v=unu7hECtpz8&t=14s

https://www.youtube.com/watch?v=44YY6RLI5L4&t=611s

https://www.youtube.com/watch?v=7nk0WVbXvh8

https://www.youtube.com/watch?v=FA6vELkx0Io

https://www.youtube.com/watch?v=a7U-6tfV1dw&t=764s

Edwin
RELATED QUESTIONS

Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
I need to use proofs to derive the conclusion but I am not sure if I should use MP, or DS (answered by Edwin McCravy)
1) (Q ⊃~J) ⊃ (M ⊃~D) 2) Q ⊃M 3) M ⊃ ~J/Q ⊃ ~D I am trying to figure... (answered by math_helper)
I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)
Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
a b c d e f g h i j k l m n o p q r (answered by ewatrrr)
Doing logic problems and I got this one and I just blanked. 1. ~X > C 2. ~J > [(~Q... (answered by jim_thompson5910)
Please graph A (2,-2), B (2,-1), C (2,0) D (2,1) E (2,2) F(1,2) G (0,2) H (-1,2) I... (answered by khwang)