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

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) (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

RELATED QUESTIONS
Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

Construct a formal proof in fitch format for the following: 1. Premise: A->B... (answered by solver91311)

Please help! I can't for the life of me figure this one out! Proof by natural... (answered by MathLover1)

Complete the truth table to show whether the following argument is valid or invalid. If... (answered by solver91311)

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E... (answered by jim_thompson5910)

Premise: 1. (K ∨ L) ⊃ (M • N) 2. (N ∨ O) ⊃ (P • ~K) Conclusion: ~K Use (answered by math_tutor2020)

I. Evaluate the following arguments: 1. 1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2.... (answered by Edwin McCravy)

symbolize the following argument and then use a truth table to determine whether the... (answered by stanbon)