document.write( "Question 617772: 1. (W . (R v T ) ) > P
\n" ); document.write( "2. ( P v L ) > ~ H
\n" ); document.write( "3. W
\n" ); document.write( "4. R
\n" ); document.write( ":. ~ H
\n" ); document.write( "

Algebra.Com's Answer #388573 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (W . (R v T ) ) > P\r\n" );
document.write( "2. ( P v L ) > ~ H\r\n" );
document.write( "3. W\r\n" );
document.write( "4. R\r\n" );
document.write( ":. ~ H\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "5. R v T                                   4    Addition\r\n" );
document.write( "6. W . (R v T )                            3,5  Conjunction\r\n" );
document.write( "7. P                                       1,6  Modus Ponens\r\n" );
document.write( "8. P v L                                   7    Addition\r\n" );
document.write( "9. ~H                                      2,9  Modus Ponens\r\n" );
document.write( "
\n" ); document.write( "
\n" );