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

Algebra.Com
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)   (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
RELATED QUESTIONS

COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)
1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Using a conditional proof: 1. (D v E) ⊃ (F · G) 2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)