document.write( "Question 1141255: F → A, ∼J • ∼K, H → (G → F), ∼K → (∼J → H) ∴ G → A \n" ); document.write( "
Algebra.Com's Answer #761988 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
 1.  F → A\r\n" );
document.write( " 2.  ∼J • ∼K\r\n" );
document.write( " 3.  H → (G → F)\r\n" );
document.write( " 4.  ∼K → (∼J → H)          ∴ G → A\r\n" );
document.write( "\r\n" );
document.write( "                         | 5.  G               Assumption for Conditional Proof\r\n" );
document.write( "                         | 6. (~K • ~J) → H    4, Importation\r\n" );
document.write( "                         | 7. (~J • ~K) → H    6, Commutation\r\n" );
document.write( "                         | 8. H                7,2, Modus ponens\r\n" );
document.write( "                         | 9. G → F            3,8, Modus ponens\r\n" );
document.write( "                         |10. A                9,1, Hypothetical syllogism\r\n" );
document.write( "\r\n" );
document.write( "11.  G → A             lines 5-10    Conditional proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );