Question 1041143
<font face="Times New Roman" size="+2">
<pre>
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    
</pre>

John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it
<img src="http://c0rk.blogs.com/gr0undzer0/darwin-fish.jpg">
*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \  

</font>