document.write( "Question 237506: I need help completing proofs for my deductive logic class.
\n" ); document.write( "Can you help me with this one?\r
\n" ); document.write( "\n" ); document.write( "1. M v ~(K v ~L)
\n" ); document.write( "2. ~M . (N . O) (Conclusion) ~K . L \n" ); document.write( "

Algebra.Com's Answer #174691 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "1.   M v ~(K v ~L)\r\n" );
document.write( "2.   ~M . (N . O)           (Conclusion)  ~K . L\r\n" );
document.write( "------------------------------------------------\r\n" );
document.write( "3.   ~M                                     2       Simplification\r\n" );
document.write( "4.   ~(K v ~L)                              2,3     Disjunctive Syllogism\r\n" );
document.write( "5.   ~K . ~~L                               4       De Morgan's Law\r\n" );
document.write( "6.   ~K . L                                 5       Double Negation\r\n" );
document.write( "

\n" ); document.write( "

\n" );