document.write( "Question 1031285:
\n" ); document.write( " Given the following premises:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "1. (~H · ~J) > K
\n" ); document.write( "2. ~(~H · ~J)
\n" ); document.write( "3. (~H · N) v (~H · ~J)
\n" ); document.write( "
\n" ); document.write( "What would be the conclusion that would result from a single step?
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #646072 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (~H · ~J) > K \r\n" );
document.write( "2. ~(~H · ~J) \r\n" );
document.write( "3. (~H · N) v (~H · ~J) \r\n" );
document.write( "\r\n" );
document.write( "4. ~H · N         3,2, disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "[Note that we cannot get ~K just because of 1 and 2,\r\n" );
document.write( "because something else might imply K besides (~H · ~J)]\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );