document.write( "Question 594150: I can only use the 8 implicational rules.Can someone please help me?
\n" ); document.write( "1. (Ev~B)>(~SvT)
\n" ); document.write( "2. E
\n" ); document.write( "3. ~S>L
\n" ); document.write( "4. T>~C
\n" ); document.write( "5. (Lv~C)>A :. A \n" ); document.write( "
Algebra.Com's Answer #376634 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   (E v ~B)>(~S v T)\r\n" );
document.write( "2.   E\r\n" );
document.write( "3.   ~S > L\r\n" );
document.write( "4.   T > ~C\r\n" );
document.write( "5.   (L v ~C) > A               :. A \r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "6.   E v ~B                                2          Addition\r\n" );
document.write( "7.   ~S v T                                1,6        Modus Ponens\r\n" );
document.write( "8.   (~S > L) . (T > ~C)                   3,4        Conjunction\r\n" );
document.write( "9.   L v ~C                                8,7        Constructive Dilemma\r\n" );
document.write( "10.  A                                     5,9        Modus Ponens\r\n" );
document.write( "
\n" ); document.write( "
\n" );