document.write( "Question 1171800: use the inference rules, replacement rules, indirect proof and/or conditional proof to derive the conclusion.\r
\n" ); document.write( "\n" ); document.write( "1. T ⊃ (Q & F)
\n" ); document.write( "2. T & C/Q v O
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #797474 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. T ⊃ (Q & F)\r\n" );
document.write( "2. T & C          / Q v O\r\n" );
document.write( "\r\n" );
document.write( "3. T            2, simplification\r\n" );
document.write( "4. Q & F        1,3, Modus ponens\r\n" );
document.write( "5. Q            4, simplification\r\n" );
document.write( "6. Q v O        5, addition\r\n" );
document.write( "\r\n" );
document.write( "You keep posting these problems in logic, the very easiest ones, like this one.\r\n" );
document.write( "Are you really not understanding any of it?\r\n" );
document.write( "\r\n" );
document.write( "Edwin

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