document.write( "Question 199021: Solve the given proof for L. Include the rule and premise(s) from which each step was derived.\r
\n" ); document.write( "\n" ); document.write( "1. ( R * S) v (R * ~E) Pr.
\n" ); document.write( "2. (Y * O) > (E * ~S) Pr.
\n" ); document.write( "3. (O > ~Y) > L Pr. / .: L
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #149495 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ( R * S) v (R * ~E)		    Pr.\r\n" );
document.write( "2. (Y * O) -> (E * ~S)		    Pr.\r\n" );
document.write( "3. (O -> ~Y) -> L 		    Pr. / .: L\r\n" );
document.write( "-------------------------------------------------\r\n" );
document.write( "4.   R * (S v ~E)                   1            Distribution\r\n" );
document.write( "5.   (S v ~E) * R                   4            Commutation\r\n" );
document.write( "6.   S v ~E                         5            Simplification\r\n" );
document.write( "7.   ~E v S                         6            Commutation\r\n" );
document.write( "8.   ~E v ~~S                       7            Double Negation\r\n" );
document.write( "9.   ~(E * ~S)                      8            De Morgan's Law\r\n" );
document.write( "10.  ~(Y * O)                     2,9            Modus Tollens\r\n" );
document.write( "11.  ~Y v ~O                       10            De Morgan's Law\r\n" );
document.write( "12.  ~O v ~Y                       11            Commutation\r\n" );
document.write( "13.  O -> ~Y                       12            Material Implication\r\n" );
document.write( "14.  L                           3,13            Modus Ponens\r\n" );
document.write( "

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