Question 591301
# 1

<pre>
1.  A -> ~A
2.  (~W v K) -> A          //   W
------------------------------------
3.  ~A v ~A               1    Material Implication
4.  ~A                    3    Tautology
5.  ~(~W v K)             2,4  Modus Tollens
6.  ~~W & ~K              5    De Morgan's Law
7.  W & ~K                6    Double Negation
8.  W                     7    Simplification
</pre>


=========================================================================
# 2


<pre>
1.  (~D v P) v N
2.  ~(P v N) v G          //  D -> G
--------------------------------------
3.  ~D v (P v N)                1      Association
4.  D -> (P v N)                3      Material Implication 
5.  (P v N) -> G                2      Material Implication 
6.  D -> G                      4,5    Hypothetical Syllogism
</pre>