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 ->  Proofs -> 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       Log On


   

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) About Me  (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) About Me  (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