document.write( "Question 1129466: Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of
\n" ); document.write( "Replacement of Natural Deduction to derive the stated conclusion from the
\n" ); document.write( "given premises: \r
\n" ); document.write( "\n" ); document.write( "1. Sv(T•R)
\n" ); document.write( "2. S→T /T \n" ); document.write( "

Algebra.Com's Answer #746108 by Edwin McCravy(20063) $\"\"$ $\"About$

You can put this solution on YOUR website!
Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of
\n" ); document.write( "Replacement of Natural Deduction to derive the stated conclusion from the
\n" ); document.write( "given premises:
\n" ); document.write( "

\r\n" );
document.write( "1. Sv(T•R)\r\n" );
document.write( "2. S→T      /T\r\n" );
document.write( "       | 3. ~T         assumption for indirect proof\r\n" );
document.write( "       | 4. ~S        2,3 modus tollens\r\n" );
document.write( "       | 5. T•R       1,4 disjunctive syllogism\r\n" );
document.write( "       | 6. T          5, simplification\r\n" );
document.write( "       | 7. T•~T      6,3,conjunction\r\n" );
document.write( "8. T                  lines 3-7 indirect proof with contradiction in #7\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );