document.write( "Question 1171851: 1. (Q ⊃~J) ⊃ (M ⊃~D)
\n" ); document.write( "2. Q ⊃M
\n" ); document.write( "3. M ⊃ ~J/Q ⊃ ~D\r
\n" ); document.write( "\n" ); document.write( "I am at a complete lost with this one. I believe we are gong to use motus ponens and possibly MT as well
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #796768 by math_tutor2020(3816) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "I'm going to use an arrow symbol instead of a horsehoe symbol.
\n" ); document.write( "One way to do the derivation is this:
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(Q -> ~J) -> (M -> ~D)
2	Q -> M
3	M -> ~J
:.	Q -> ~D
4	Q -> ~J	2,3	Hypothetical Syllogism
5	M -> ~D	1,4	Modus Ponens
6	Q -> ~D	2,5	Hypothetical Syllogism

\n" ); document.write( " \n" ); document.write( "

\n" );