SOLUTION: could someone please help me with this logic proof? 1. F -> G 2. F v G conclusion G

Question 297359: could someone please help me with this logic proof?
1. F -> G
2. F v G conclusion G

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  F -> G
2.  F v G            :. G
--------------------------
3.  G v F                 2      Commutation
4.  ~~G v F               3      Double Negation
5.  ~G -> F               4      Material Implication
6.  ~G -> G               5,1    Hypothetical Syllogism
7.  ~~G v G               6      Material Implication
8.  G v G                 7      Double Negation
9.  G                     8      Tautology

RELATED QUESTIONS
Please help with this logic proof: 1. S v B 2. B -> D 3. S -> G conclusion D v... (answered by Theo)

Please help me solve this logic proof: 1. E→H 2. (E ∨ F) � (E ∨ G) (answered by jim_thompson5910)

I'm stumped on this problem, could someone please help me construct a proof? 1. (G *... (answered by jim_thompson5910)

how to solve this logic proof (1)(I&E)>~F (2)Fv(G&H) (3)I=E /(conclusion) I>G (Key: (answered by robertb)

Hello, Can you help me with the following Logic Proof? 1. ∼F ⊃ [∼G ⊃ (∼F... (answered by Edwin McCravy)

Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)

Please help me complete the conditional proof for this problem: (F v ~ G) → ~ L (answered by jim_thompson5910)

CAN SOMEONE PLEASE HELP ME WITH THIS PROBLEM: What is g(x) = f^-1(x) if f(x) = 1/2 x? (answered by jim_thompson5910)

Could you please help me construct a proof for this problem? 1. (G -> H) -> J (answered by jim_thompson5910)