SOLUTION: Solve the following proof using the methods of natural deduction, as you did in the HW problems in Chapter 7. There may be many ways to solve the proof. You get partial credit for

Question 1041143: Solve the following proof using the methods of natural deduction, as you did in the HW problems in Chapter 7. There may be many ways to solve the proof. You get partial credit for correct use of rules, even if you don't finish the proof. Incorrect use of rules with be penalized.
Good luck,

For the horseshoe use the > sign
For the Triple bar use the = sign
For the and use the . sign
For the or use the v sign
For negation use the - sign
1. (G . H) v (M . G)
2. G > (T . A) / A
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

1.    (G & H) V (M & G)
2.    G -> (T & A)       |   A

3.    (G & H) -> G              1.  Case 1, Conjunction Elimination
4.    (M & G) -> G              1.  Case 2, Conjunction Elimination
5.    (G & H) V (M & G) -> G    1, 3, 4.  Case Analysis
6.    T & A                     5, 2.  Modus Ponens
7.    :. A                      6.  Conjunction Elimination

John

My calculator said it, I believe it, that settles it

RELATED QUESTIONS
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)

Prove the following argument to be valid using the method of Natural Deduction. (Do... (answered by Edwin McCravy)

Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K (answered by robertb)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion in each problem. Use conditional proof (answered by jim_thompson5910)