document.write( "Question 969535: Premises:
\n" ); document.write( "1.) S->~(N v R)
\n" ); document.write( "2.) R v N v O
\n" ); document.write( "3.) ~O
\n" ); document.write( "Conclusion:
\n" ); document.write( "/~S \n" ); document.write( "

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

You can put this solution on YOUR website!
Premises:
\n" ); document.write( "1.) S->~(N v R)
\n" ); document.write( "2.) (R v N) v O
\n" ); document.write( "3.) ~O
\n" ); document.write( "Conclusion:
\n" ); document.write( "/~S
\n" ); document.write( "

\r\n" );
document.write( "4.) R v N             disjunctive syllogism,2,3\r\n" );
document.write( "5.) N v R             commutativity, 4\r\n" );
document.write( "6.) ~~(N v R)->~S     contrapositive, 1\r\n" );
document.write( "7.) (N v R)->~S       double negation, 6\r\n" );
document.write( "8.) ~S                modus ponens, 7,5  \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );