document.write( "Question 980633: (~KvN)>Y
\n" ); document.write( "Jv(~K&X)
\n" ); document.write( "~J
\n" ); document.write( "/Y \n" ); document.write( "
Algebra.Com's Answer #601762 by Edwin McCravy(20065)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. (~KvN)>Y\r\n" );
document.write( "2. Jv(~K&X)\r\n" );
document.write( "3. ~J     \r\n" );
document.write( "        /Y\r\n" );
document.write( "\r\n" );
document.write( "4. ~K&X     2,3,disjunctive syllogism\r\n" );
document.write( "5. ~K       4,simplification\r\n" );
document.write( "6. ~KvN     5,addition\r\n" );
document.write( "7. Y        1,6,modus ponens \r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );