# 1
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
=========================================================================
# 2
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