document.write( "Question 193060: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
\n" ); document.write( "1. P • P
\n" ); document.write( "2. Q → ~P / ~Q
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #144906 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. P • P\r\n" );
document.write( "2. Q → ~P / ~Q\r\n" );
document.write( "----------------\r\n" );
document.write( "3. P             1    Simplification\r\n" );
document.write( "4. ~~P           3    Double Negation\r\n" );
document.write( "5. ~Q          2,4    Modus Tollens \r\n" );
document.write( "
\n" ); document.write( "
\n" );