document.write( "Question 979780: 1. (J > O) > ~N
\n" ); document.write( "2. N v [~N > (E > N)]
\n" ); document.write( "3. ~E > [E v (N v ~O)]
\n" ); document.write( "4. J > U
\n" ); document.write( "Conclusion: ~O\r
\n" ); document.write( "\n" ); document.write( "Can anybody please finish this proof for me? I'm lost. \n" ); document.write( "

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

You can put this solution on YOUR website!
1. (J > O) > ~N
\n" ); document.write( "2. N v [~N > (E > N)]
\n" ); document.write( "3. ~E > [E v (N v ~O)]
\n" ); document.write( "4. J > U
\n" ); document.write( "Conclusion: ~O\r
\n" ); document.write( "\n" ); document.write( "Can anybody please finish this proof for me? I'm lost.
\n" ); document.write( "

\r\n" );
document.write( "Im pretty sure the U in 4 should be O, because U does not \r\n" );
document.write( "appear anywhere else, so if it were J > U, it might as well have \r\n" );
document.write( "been eliminated, as it could play no possible role in the\r\n" );
document.write( "proof.  So I am going to assume the U is a typo and should \r\n" );
document.write( "be O instead.  Then the proof is fairly straight-forward.\r\n" );
document.write( "\r\n" );
document.write( "1. (J > O) > ~N\r\n" );
document.write( "2. N v [~N > (E > N)]\r\n" );
document.write( "3. ~E > [E v (N v ~O)]\r\n" );
document.write( "4. J > O\r\n" );
document.write( "Conclusion: ~O\r\n" );
document.write( "\r\n" );
document.write( "5. ~N             1,4, MP\r\n" );
document.write( "6. ~N > (E > N)   2,5, DS\r\n" );
document.write( "7. E > N          6,5, MP\r\n" );
document.write( "8. ~E             7,5, MT \r\n" );
document.write( "9. E v (N v ~O)   3,8, MP\r\n" );
document.write( "10. N v ~O        9,8, DS\r\n" );
document.write( "11. ~O           10,5, DS\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );