document.write( "Question 189542: 5) I can only use the 8 rules of inference.
\n" ); document.write( "1. C → (T → L)
\n" ); document.write( "2. ~L
\n" ); document.write( "3. ~E → C
\n" ); document.write( "4. L v ~E /~T
\n" ); document.write( "________________________
\n" ); document.write( " 5.
\n" ); document.write( " 6.
\n" ); document.write( " 7.
\n" ); document.write( " 8.
\n" ); document.write( " 9.
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #142221 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
It helps if you know the rules by heart (ie understand what they truly mean).\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1. C -> (T -> L)\r\n" );
document.write( "2. ~L\r\n" );
document.write( "3. ~E -> C\r\n" );
document.write( "4. L v ~E /~T\r\n" );
document.write( "--------------------------\r\n" );
document.write( "5.  ~E                  4,2   Disjunctive Syllogism\r\n" );
document.write( "6.  C                   3,5   Modus Ponens\r\n" );
document.write( "7.  T -> L              1,6   Modus Ponens\r\n" );
document.write( "8.  ~T                  7,2   Modus Tollens\r\n" );
document.write( "

\n" ); document.write( "

\n" );