Question 350522
<pre>
1.  A -> (B & ~K)     
2.  (B & ~K) -> ~A         :. ~A v G
--------------------------------------
3.  A -> ~A                   1, 2      Hypothetical Syllogism
4.  ~A v ~A                   3         Material Implication
5.  ~A                        4         Tautology
6.  ~A v G                    5         Addition
</pre>