Question 1178950
<pre>

 1. H ⊃ ~A
 2. A           /~(H v ~A)

 3. ~~A          2, DN
 4. ~H           1,3, MT
 5. ~H • ~~A     4,3, conj.
 6. ~(H v ~A)    5, DM

Edwin</pre>