document.write( "Question 607197: How do you come to the conclusion of ~G given the following premises
\n" ); document.write( "1. G->(H->K)
\n" ); document.write( "2.(Hv~M)->~K
\n" ); document.write( "3. H\r
\n" ); document.write( "\n" ); document.write( "Key: \"->\" means horseshoe (material implication)
\n" ); document.write( " \"v\" means wedge (disjucntion) \n" ); document.write( "
Algebra.Com's Answer #382501 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" );