document.write( "Question 1171842: 1. T ⊃ O
\n" ); document.write( "2. R v ~O
\n" ); document.write( "3. ~R/~T
\n" ); document.write( "4. ~T DS 2,3 \r
\n" ); document.write( "\n" ); document.write( "I think I completed this correctly but I may be missing a step \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "No, 4 should be ~O by disjunctive syllogism, and then ~T by 1 and 4 and Modus Tollens.\r\n" );
document.write( "\r\n" );
document.write( "1. T ⊃ O\r\n" );
document.write( "2. R v ~O\r\n" );
document.write( "3. ~R           /~T\r\n" );
document.write( "\r\n" );
document.write( "4. ~O       2,3   Disjunctive syllogism\r\n" );
document.write( "5. ~T       1,4   Modus Tollens \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );