document.write( "Question 1130715: (H ∨ M) ∨ L
\n" ); document.write( "L ⊃ H
\n" ); document.write( "H ⊃ (M ⊃ H)
\n" ); document.write( "∼(M ⊃ H) /M \n" ); document.write( "
Algebra.Com's Answer #747392 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "1.   (H or M) or L\r\n" );
document.write( "2.   L -> H\r\n" );
document.write( "3.   H -> (M -> H)\r\n" );
document.write( "4.   ~(M -> H)          |  M\r\n" );
document.write( "\r\n" );
document.write( "5.   ~H                 3,4 Modus Tollens\r\n" );
document.write( "6.   ~L                 5,2 Modus Tollens\r\n" );
document.write( "7.   (H or M)           6,1 Disjunctive Syllogism\r\n" );
document.write( "8.   Therefore M        7,5 Disjunctive Syllogism		\r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );