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