document.write( "Question 1131282: 1. P->~M
\n" ); document.write( "2. C->M
\n" ); document.write( "3. ~LvC
\n" ); document.write( "4. (~P->~E)&(~E->~C)
\n" ); document.write( "5. Pv~P /~L
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #748076 by Edwin McCravy(20060)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  P->~M\r\n" );
document.write( "2.  C->M\r\n" );
document.write( "3.  ~LvC\r\n" );
document.write( "4.  (~P->~E)&(~E->~C)\r\n" );
document.write( "5.  Pv~P               /~L\r\n" );
document.write( "\r\n" );
document.write( "        |6.  ~~L                   AIP\r\n" );
document.write( "        |7.  C                   3,6  DS \r\n" );
document.write( "        |8.  M                   2,7  MP\r\n" );
document.write( "        |9.  ~~M                   8  DN  \r\n" );
document.write( "        |10. ~P                  1,9  MT\r\n" );
document.write( "        |11. ~P->~E                4  simp.  \r\n" );
document.write( "        |12. ~E                11,10  MP\r\n" );
document.write( "        |13. (~E->~C)&(~P->~E)     4  comm. \r\n" );
document.write( "        |14. ~E->~C               13  simp.\r\n" );
document.write( "        |15. ~C                14,12  MP            \r\n" );
document.write( "        |16. Cv~L                  3  comm.\r\n" );
document.write( "        |17. ~L                16,15  DS\r\n" );
document.write( "        |18. ~L&~~L             17,6  conj.  (contradiction)\r\n" );
document.write( "\r\n" );
document.write( "19. ~L         lines 6-18 IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );