Question 1199146
<pre>
Using -> instead of ⊃

1. G->(H->K)       Premise
2. (Hv~M)-> ~K     Premise
3. H               Premise
// show ~G
4. Hv~M            3, Addition (ADD)
5. ~K              4,2 Modus Ponens (MP)
6. H & ~K          3,5 Conjunction (CONJ)
7. ~(~H v K)       6 DeMorgan's  (DeM)
8. ~(H->K)         7 Material Implication (MI)
9. ~G              8,1 Modus Tollens (MT)
** done **