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

Algebra ->  Proofs -> 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       Log On


   

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