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

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


   

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