document.write( "Question 1060029: Using rules of implication and replacement- proof\r
\n" ); document.write( "\n" ); document.write( "1. M v (D · L)\r
\n" ); document.write( "\n" ); document.write( "2. B ⊃~(M v L) /~B\r
\n" ); document.write( "\n" ); document.write( "Thank you!! \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "1. M v (D · L) \r\n" );
document.write( "2. B ⊃ ~(M v L)    /~B \r\n" );
document.write( "\r\n" );
document.write( "3. M v (L · D)           1, Commutation\r\n" );
document.write( "4. M v L                 4, Simplification\r\n" );
document.write( "5. ~~(M v L) ⊃ ~B        2, Transposition\r\n" );
document.write( "6. (M v L) ⊃ ~B          5, Double negation\r\n" );
document.write( "7. ~B                    6,4, Modus ponens\r\n" );
document.write( "\r\n" );
document.write( "Edwin

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

\n" );