document.write( "Question 1179981: Use Indirect Proof to solve the following argument.\r
\n" ); document.write( "\n" ); document.write( "1. (C v R) ⊃ (N • I)\r
\n" ); document.write( "\n" ); document.write( "2. (N v P) ⊃ (I ⊃ ~C) /~C \n" ); document.write( "
Algebra.Com's Answer #809583 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (C v R) ⊃ (N • I)\r\n" );
document.write( "2. (N v P) ⊃ (I ⊃ ~C)    /~C\r\n" );
document.write( "\r\n" );
document.write( "             | 3.  ~~C       AIP\r\n" );
document.write( "             | 4.  C         3, double negation\r\n" );
document.write( "             | 5.  C v R     4, addition\r\n" );
document.write( "             | 6.  N • I     1,5, modus ponens\r\n" );
document.write( "             | 7.  N         6, simplification\r\n" );
document.write( "             | 8.  N v P     7, addition\r\n" );
document.write( "             | 9.  I ⊃ ~C   2,8, modus ponens\r\n" );
document.write( "             |10.  I • N     6, commutation\r\n" );
document.write( "             |11.  I         10, simplification\r\n" );
document.write( "             |12.  ~C        9,11, modus ponens\r\n" );
document.write( "             |13.  C • ~C    4,12, conjunction\r\n" );
document.write( "14. ~C        Lines 3-13     IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );