SOLUTION: ~D&Q ~D>(~E&~T) (~EvG)>(~E>H) /~E&H

Algebra ->  Proofs -> SOLUTION: ~D&Q ~D>(~E&~T) (~EvG)>(~E>H) /~E&H      Log On


   

Question 980645: ~D&Q
~D>(~E&~T)
(~EvG)>(~E>H)
/~E&H
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
 1.  ~D&Q
 2.  ~D>(~E&~T)
 3.  (~EvG)>(~E>H)
                      /~E&H

 4. ~D             1, simplification
 5. ~E&~T        2,4, modus ponens
 6. ~E             5, simplification
 7. ~EvG           6, addition
 8. ~E>H         3,7, modus ponens
 9. H            8,6, modus ponens
10. ~E&H         6,9, conjunction

Edwin