Question 1031285
<pre>
1. (~H · ~J) > K 
2. ~(~H · ~J) 
3. (~H · N) v (~H · ~J) 

4. ~H · N         3,2, disjunctive syllogism

[Note that we cannot get ~K just because of 1 and 2,
because something else might imply K besides (~H · ~J)]

Edwin</pre>