document.write( "Question 1140109: 1. N⊃(∼R⊃C)
\n" ); document.write( "2. ∼C
\n" ); document.write( "/ ∼R ⊃ ∼N \n" ); document.write( "

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

You can put this solution on YOUR website!

 1. N⊃(∼R⊃C) \r\n" );
document.write( " 2. ∼C  \r\n" );
document.write( "                / ∼R ⊃ ∼N     \r\n" );
document.write( "\r\n" );
document.write( " 3. N⊃(~∼R∨C)      1, material implication\r\n" );
document.write( " 4. N⊃(R∨C)        3, double negation\r\n" );
document.write( " 5. ~N∨(R∨C)        4, material implication\r\n" );
document.write( " 6. (~N∨R)∨C        5, assiation\r\n" );
document.write( " 7. C∨(~N∨R)        6, commutation\r\n" );
document.write( " 8. ~N∨R            7,2, disjunctive syllogism\r\n" );
document.write( " 9. R∨~N            8, commutation\r\n" );
document.write( "10. ~~R∨~N          9, double negation\r\n" );
document.write( "11. ~R⊃~N          10, material implication\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );