SOLUTION: A>C (A*C)>H _______ A>H

Algebra ->  Proofs -> SOLUTION: A>C (A*C)>H _______ A>H      Log On


   

Question 1061816: A>C
(A*C)>H
_______
A>H
Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!

1. A>C
2. (A*C)>H    /A>H

             | 3. A           ACP  (assumption for conditional proof)            
             | 4. C       3,1,MP   (modus ponens)
             | 5. A*C     3,4,Conj (conjunction of two premises) 
             | 6. H       2,5,MP   (modus ponens)
7. A>H   lines 3-6   CP  (conditional proof)       

Edwin