document.write( "Question 1207017: PLease use all 18 rules of natural deduction to derive the conclusion (/), thanks.\r
\n" ); document.write( "\n" ); document.write( "1. S ⊃ (L • M)
\n" ); document.write( "2. M ⊃ (L ⊃ R) / S ⊃ R \n" ); document.write( "
Algebra.Com's Answer #844814 by mccravyedwin(407)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. S ⊃ (L • M)\r\n" );
document.write( "2. M ⊃ (L ⊃ R) / S ⊃ R\r\n" );
document.write( "\r\n" );
document.write( "          |3. S          assumption for conditional proof\r\n" );
document.write( "          |4. L • M    1,3, modus ponens\r\n" );
document.write( "          |5. M • L      4, commutation\r\n" );
document.write( "          |6. M          5, simplification\r\n" );
document.write( "          |7. L ⊃ R    2,6, modus ponens\r\n" );
document.write( "          |8. L          4, simplification\r\n" );
document.write( "          |9. R        7,8, modus ponens\r\n" );
document.write( "10. S ⊃ R    lines 3-9 for conditional proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );