SOLUTION: logic proofs E&F,(E → G)&(F→H)├ G&H

Algebra ->  Proofs -> SOLUTION: logic proofs E&F,(E → G)&(F→H)├ G&H       Log On


   

Question 978483: logic proofs
E&F,(E → G)&(F→H)├ G&H
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
1.  E&F,
2.  (E→G)&(F→H)
          ├ G&H

3.  E→G          2,simplification
4.  E            1,simplification
5.  G            3,4, modus ponens
6.  F→H          2,simplification
7.  F            1,simplification
8.  H            6,7,modus ponens
9.  G&H          5,8,conjunction     

Edwin