document.write( "Question 1180012: Select the conclusion that follows in a single step from the given premises.
\n" ); document.write( "1. ~(G • H)
\n" ); document.write( "2. ~F > H
\n" ); document.write( "3. (G > ~F) • (~F > G) \n" ); document.write( "
Algebra.Com's Answer #809599 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. ~(G • H)\r\n" );
document.write( " 2. ~F > H\r\n" );
document.write( " 3. (G > ~F) • (~F > G)\r\n" );
document.write( "\r\n" );
document.write( " 4. (~F > G) • (G > ~F)      3, commutation \r\n" );
document.write( " 5. ~F > G                   4, simplification\r\n" );
document.write( " 6, ~F > (G • H)             5,2, composition\r\n" );
document.write( " 7. ~~F                      6,1, modus tollens  \r\n" );
document.write( " 8. F                        7, double negation\r\n" );
document.write( " 9. G > ~F                   3, simplification\r\n" );
document.write( "10. ~G                       9,7 modus tollens\r\n" );
document.write( "11. F • ~G                   8,10 conjunction\r\n" );
document.write( "\r\n" );
document.write( "You did not list the choices, but most likely, \r\n" );
document.write( "the conclusion is step 11, which is\r\n" );
document.write( "\r\n" );
document.write( "F • ~G\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );