document.write( "Question 1058597: What would the completed formal proof be?
\n" ); document.write( "1. M * (L v P)
\n" ); document.write( "2. ~M v ~L :. M * P
\n" ); document.write( "3.
\n" ); document.write( "4. \n" ); document.write( "
Algebra.Com's Answer #673674 by Edwin McCravy(20060)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. M * (L v P)\r\n" );
document.write( "2. ~M v ~L        :. M * P\r\n" );
document.write( "3. M                1, Simplification\r\n" );
document.write( "4. ~~M              3, Double negation\r\n" );
document.write( "5. ~L               2,4, Disjunctive syllogism\r\n" );
document.write( "6. (L v P) * M      1, Commutation\r\n" );
document.write( "7. L v P            6, Simplification\r\n" );
document.write( "8. P                7,5, Disjunctive Syllogism \r\n" );
document.write( "9. M * P            3,8, Conjunction\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );