Question 1139914
<pre>1. D ⊃ (∼G ⊃ ∼H)
2. (K ∨ M) ⊃ H
3. G ∨ D
4. ∼G              /∼(K ∨ M)

5. D           3,4 disjunctive syllogism
6. ∼G ⊃ ∼H    1,5 modus ponens
7. ~H          6,4 modus ponens
8. ~(K ∨ M)    2,7 modus tollens

Edwin</pre>