Question 1118661
Trying to write the proof and am stuck.

1.H > J
2.~(J & H)  / ~H
==================================

<pre>
1. H—>J          Premise
2. ~(J & H)      Premise
3. ~J v ~H       2, DeMorgan's (DeM)
4.:: ~J          Conditional proof (CP), assumption #1
5.::  ~H         4,1  Modus Tollens (MT), end case #1
6.::  ~H         Conditional proof, assumption #2, end case #2 (tautology ~H —> ~H)
7.  (~J v ~H)   —> ~H    End CP, Proof by Cases (PBC)   (if  ~J or ~H  we can conclude ~H)
8.  ~(J & H)  —> ~H      7, DeM
9.  ~H                   2,8  Modus Ponens (MP)

<br>

Other approaches may be possible. 

</pre>