document.write( "Question 1139913: Create proof for the following argument
\n" ); document.write( "1. (H ∨ M) ∨ L
\n" ); document.write( "2. L ⊃ H
\n" ); document.write( "3. H ⊃ (M ⊃ H)
\n" ); document.write( "4. ∼(M ⊃ H) /M
\n" ); document.write( "5. \n" ); document.write( "

Algebra.Com's Answer #760592 by Edwin McCravy(20055) $\"\"$ $\"About$

You can put this solution on YOUR website!

Create proof for the following argument\r\n" );
document.write( "1. (H ∨ M) ∨ 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. ~(~M ∨ H)         4, material implication\r\n" );
document.write( "6. ~~M • ~H          5, deMorgan's law\r\n" );
document.write( "7. M • ~H            6, double negation\r\n" );
document.write( "8. M                 7, simplification\r\n" );
document.write( "\r\n" );
document.write( "Notice that in this argument, we did not need to use the first three\r\n" );
document.write( "premises but only the fourth.\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );