SOLUTION: Can anybody guide me with this proof? I'm having trouble even starting it. 1. ~T 2. ~(G & ~T) / ~G Any help would be appreciated, thank you!!

Algebra ->  Proofs -> SOLUTION: Can anybody guide me with this proof? I'm having trouble even starting it. 1. ~T 2. ~(G & ~T) / ~G Any help would be appreciated, thank you!!      Log On


   



Question 981034: Can anybody guide me with this proof? I'm having trouble even starting it.
1. ~T
2. ~(G & ~T)
/ ~G
Any help would be appreciated, thank you!!

Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


~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

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