document.write( "Question 593930: I can only use the 8 implicational rules
\n" ); document.write( "1. (A v ~B) >(F v (R . G))
\n" ); document.write( "2. A
\n" ); document.write( "3. F > L
\n" ); document.write( "4. (R . G) > T
\n" ); document.write( "5. (L v T) > S :. S \n" ); document.write( "
Algebra.Com's Answer #376545 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   (A v ~B) > (F v (R . G))\r\n" );
document.write( "2.   A\r\n" );
document.write( "3.   F > L\r\n" );
document.write( "4.   (R . G) > T\r\n" );
document.write( "5.   (L v T) > S                    :. S\r\n" );
document.write( "--------------------------------------------------------------------------------------------------------------\r\n" );
document.write( "6.   A v ~B                              2            Addition\r\n" );
document.write( "7.   F v (R . G)                         1,6          Modus Ponens\r\n" );
document.write( "8.   (F > L) . ( (R . G) > T )           3,4          Conjunction\r\n" );
document.write( "9.   L v T                               8,7          Constructive Dilemma\r\n" );
document.write( "10.  S                                   5,9          Modus Ponens\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "
\n" );