document.write( "Question 1141500: premise (P&Q)V(R&S)
\n" ); document.write( "Premise R->L
\n" ); document.write( "goal ~P->L \n" ); document.write( "
Algebra.Com's Answer #762278 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (P & Q) V (R & S)\r\n" );
document.write( "2.  R -> L              / ~P -> L\r\n" );
document.write( "\r\n" );
document.write( "                    | 3. ~P          assumption for conditional proof\r\n" );
document.write( "                    | 4. ~P V ~Q     3. addition\r\n" );
document.write( "                    | 5. ~(P & Q)    4. deMorgan's law\r\n" );
document.write( "                    | 6. R & S       1,5, disjunctive syllogism\r\n" );
document.write( "                    | 7. R           6, simplification\r\n" );
document.write( "                    | 8. L           2,7, modus ponens\r\n" );
document.write( "\r\n" );
document.write( "8. ~P -> L       lines 3-8 for conditional proof.\r\n" );
document.write( "\r\n" );
document.write( "Edwin

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