SOLUTION: Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2. (E⊃F)&(G⊃H) 3. A&E Conclusion: BvG

Algebra ->  Proofs -> SOLUTION: Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2. (E⊃F)&(G⊃H) 3. A&E Conclusion: BvG       Log On


   

Question 969507: Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2. (E⊃F)&(G⊃H)
3. A&E
Conclusion: BvG
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
1. (A⊃B)&(C⊃D)
2. (E⊃F)&(G⊃H)
3. A&E
Conclusion: BvG
4. A⊃B  simplification,1
5. A    simplification,3
6. B    modus ponens,4,5
7. BvG  disjunctive addition,6

Edwin