document.write( "Question 1179871: 1. P (horseshoe) ~M
\n" ); document.write( "2. C (horseshoe) M
\n" ); document.write( "3. ~L v C
\n" ); document.write( "4. (~P (horseshoe) ~E) • (~E (horseshoe) ~C)
\n" ); document.write( "5. P v ~P /~L
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #838335 by RBryant(14)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. P ⊃ ~M \r\n" );
document.write( "2. C ⊃ M \r\n" );
document.write( "3. ~L v C \r\n" );
document.write( "4. (~P ⊃ ~E) • (~E ⊃ ~C) \r\n" );
document.write( "5. P v ~P 			/ ∴ ~L \r\n" );
document.write( "---------------------------------------------\r\n" );
document.write( "6.  ~M ⊃ ~C                2      Transposition\r\n" );
document.write( "7.  P ⊃ ~C                 1,6    Hypothetical Syllogism\r\n" );
document.write( "8.  ~P ⊃ ~E                4      Simplification\r\n" );
document.write( "9.  E ⊃ P                  8      Transposition\r\n" );
document.write( "10. (~E ⊃ ~C)• (~P ⊃ ~E)   4      Commutation\r\n" );
document.write( "11.  ~E ⊃ ~C               10     Simplification\r\n" );
document.write( "12.  C ⊃ E                 11     Transposition\r\n" );
document.write( "13.  C ⊃ P                 9,12   Hypothetical Syllogism\r\n" );
document.write( "14.  C ⊃ ~C                7,13   Hypothetical Syllogism\r\n" );
document.write( "15.  ~C v ~C                14     Material Implication\r\n" );
document.write( "16.  ~C                     15     Tautology\r\n" );
document.write( "17.  ~L                     3,8    Disjunctive Syllogism \r\n" );
document.write( "                                                           QED\r\n" );
document.write( "\r\n" );
document.write( "

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