document.write( "Question 1087594: Kv~M, (K>~Z)>(~M>K), (Kv~M)>(K>~Z) / ~ZvK \n" ); document.write( "
Algebra.Com's Answer #701989 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. Kv~M \r\n" );
document.write( "2. (K>~Z)>(~M>K) \r\n" );
document.write( "3. (Kv~M)>(K>~Z)   /  ~ZvK\r\n" );
document.write( "\r\n" );
document.write( "4. K>~Z          3,1, Modus ponens\r\n" );
document.write( "5. ~M>K          2,4, Modus ponens\r\n" );
document.write( "6. ~ZvK        4,5,1, Constructive dilemma  \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );