document.write( "Question 607205: I have started the following proof but am not sure how to finish. thanks!
\n" ); document.write( "1. G>(H>K)
\n" ); document.write( "2. (Hv~M) > ~K
\n" ); document.write( "3. H // ~G
\n" ); document.write( "4. ~Gv(H>K)\r
\n" ); document.write( "\n" ); document.write( ">equals horseshoe \n" ); document.write( "
Algebra.Com's Answer #382508 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   G -> (H -> K)\r\n" );
document.write( "2.   (H v ~M) -> ~K\r\n" );
document.write( "3.   H \r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.   H v ~M                          3        Addition\r\n" );
document.write( "5.   ~K                              2,4      Modus Ponens\r\n" );
document.write( "6.   (G * H) -> K                    1        Exportation\r\n" );
document.write( "7.   ~(G * H)                        6,5      Modus Tollens\r\n" );
document.write( "8.   ~G v ~H                         7        De Morgan's Law\r\n" );
document.write( "9.   ~H v ~G                         8        Commutation\r\n" );
document.write( "10.  ~~H                             3        Double Negation\r\n" );
document.write( "11.  ~G                              9,10     Disjunctive Syllogism\r\n" );
document.write( "
\n" ); document.write( "
\n" );