document.write( "Question 594157: I can only use the 8 implicational rules
\n" ); document.write( "1. (AvG)>K
\n" ); document.write( "2. K>(B>F)
\n" ); document.write( "3. A∙B :. F \n" ); document.write( "
Algebra.Com's Answer #376637 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   (A v G) > K\r\n" );
document.write( "2.   K > (B > F)\r\n" );
document.write( "3.   A ∙ B                  :. F \r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.   A                                     3        Simplification\r\n" );
document.write( "5.   B                                     3        Simplification\r\n" );
document.write( "6.   A v G                                 4        Addition\r\n" );
document.write( "7.   K                                     1,6      Modus Ponens\r\n" );
document.write( "8.   B > F                                 2,7      Modus Ponens\r\n" );
document.write( "9.   F                                     8,5      Modus Ponens\r\n" );
document.write( "
\n" ); document.write( "
\n" );