document.write( "Question 585493: 1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴ ~G \n" ); document.write( "
Algebra.Com's Answer #373370 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (E∨F) → ~G \r\n" );
document.write( "2. ~H \r\n" );
document.write( "3. H∨K \r\n" );
document.write( "4. (K∨L)→E         /  ∴ ~G\r\n" );
document.write( "-------------------------------\r\n" );
document.write( "5. K                  3,2    Disjunctive Syllogism\r\n" );
document.write( "6. K∨L                5      Addition\r\n" );
document.write( "7. E                  4,6    Modus Ponens\r\n" );
document.write( "8. E∨F                7      Addition\r\n" );
document.write( "9. ~G                 1,8    Modus Ponens\r\n" );
document.write( "
\n" ); document.write( "
\n" );