SOLUTION: Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E 3. E ⊃ (G ⊃H) /H

Algebra ->  Proofs -> SOLUTION: Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E 3. E ⊃ (G ⊃H) /H       Log On


   

Question 1060024: Proof using rules of replacement. Thanks for your help.
1. G · K
2. K ⊃ E
3. E ⊃ (G ⊃H) /H
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1. G · K 
2. K ⊃ E 
3. E ⊃ (G ⊃ H)   /H

4. K · G         1, Commutation
5. K             4, Simplification
6. E             2, Modus ponens
7. G ⊃ H         3, Modus ponens
8. G             1, Simplification
9. H            7,8, Modus ponens  

Edwin