document.write( "Question 1042733: (RvS) > (H & ~G)
\n" ); document.write( "(k v r) > (G v ~H)\r
\n" ); document.write( "\n" ); document.write( "/~R\r
\n" ); document.write( "\n" ); document.write( "question2
\n" ); document.write( "n>r
\n" ); document.write( "o<>r
\n" ); document.write( "(o>r)>L
\n" ); document.write( "/(n>o)&L\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "I'm assuming that you don't bother to differentiate between upper and lower case, although in all forms of mathematics it makes a difference.
\n" ); document.write( "

\r\n" );
document.write( " 1.  N -> R\r\n" );
document.write( " 2.  O <-> R\r\n" );
document.write( " 3.  (O -> R) -> L          |  (N -> O) & L\r\n" );
document.write( "\r\n" );
document.write( " 4.  (R -> O)               2, Biconditional Elimination\r\n" );
document.write( " 5.  (N -> O)               1, 4, Hypothetical Syllogism\r\n" );
document.write( " 6.  (O -> R)               2, Biconditional Elimination\r\n" );
document.write( " 7.  L                      3, 6, Modus Ponens    \r\n" );
document.write( " 8.  :. (N -> O) & L        5, 7, Conjunction Introduction\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
\n" ); document.write( "

\n" ); document.write( "

\n" );