SOLUTION: Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B & ~K) --> ~A Premise Conclusion: ~A v G I have absolutely no idea what to do. Pl

Algebra ->  Proofs -> SOLUTION: Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B & ~K) --> ~A Premise Conclusion: ~A v G I have absolutely no idea what to do. Pl      Log On


   

Question 350522: Give a proof of the following argument:
1 (1) A --> (B & ~K) Premise
2 (2) (B & ~K) --> ~A Premise

Conclusion: ~A v G
I have absolutely no idea what to do. Please help me, please!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
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