Question 981034
<font face="Times New Roman" size="+2">


~G v ~~T from ~(G & ~T) by De Morgan


~G v T from ~G v ~~T by Double Negation Elimination


~G from ~G v T and ~T by Disjunctive Syllogism.  QED.


John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \