SOLUTION: 1.~G 2.~I 3. ~H>(IvG)//H

Algebra ->  Proofs -> SOLUTION: 1.~G 2.~I 3. ~H>(IvG)//H      Log On


   

Question 1116845: 1.~G
2.~I
3. ~H>(IvG)//H
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!
1.~G
2.~I
3. ~H>(IvG)//H
==================================== 
1. ~G              Premise
2. ~I              Premise
3. ~H—>(IvG)       Premise
4.  ~I*~G          2,1 Conjunction (CONJ)
5.  ~(IvG)         4 DeMorgan's  (DeM)
6.  ~~H            5,3  Modus Tollens (MT)
7.   H             6  Double Negation Elimination (DNE)