document.write( "Question 1024363: Prove the following three arguments to be valid using the method of Natural Deduction
\n" ); document.write( "A. 1. ~(S v E)
\n" ); document.write( " 2. [(O v M) -> S] / ~M\r
\n" ); document.write( "\n" ); document.write( "B. 1. [Q v (K v R)]
\n" ); document.write( " 2. (~W & ~R) / (K v Q)
\n" ); document.write( "
\n" ); document.write( "C. 1. [(L v P) -> U]
\n" ); document.write( " 2. [(M -> U) -> I
\n" ); document.write( " 3. ~(P -> B) / I
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #639822 by solver91311(24713) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "A.\r\n" );
document.write( "1.  ~(S v E)               Given\r\n" );
document.write( "2.  (O v M) -> S           Given\r\n" );
document.write( "3.  ~S & ~E                1, DeMorgan\r\n" );
document.write( "4.  ~S                     3, Conjunction Elimination\r\n" );
document.write( "5.  ~(O v M)               4, 2, Modus Tollens\r\n" );
document.write( "6.  ~O & ~M                5, DeMorgan\r\n" );
document.write( "7.  Therefore ~M           6, Conjunction Elimination\r\n" );
document.write( "\r\n" );
document.write( "=====================================================\r\n" );
document.write( "\r\n" );
document.write( "Let A = \"A student asks one question\"\r\n" );
document.write( "Let B = \"A student asks more than one question\"\r\n" );
document.write( "Let C = \"A student receives at most one answer\"\r\n" );
document.write( "\r\n" );
document.write( "(A v B) -> C\r\n" );
document.write( "\r\n" );
document.write( "Get it?\r\n" );
document.write( "

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "

\n" ); document.write( "My calculator said it, I believe it, that settles it\r
\n" ); document.write( "\n" ); document.write( "

\n" ); document.write( "

\n" );