SOLUTION: Use an ordinary proof to show the conclusion can be derived from the premises. 1. G ⊃ (H ⊃ K) 2. (H v ~M) ⊃ ~K 3. H /~G

Algebra.Com
Question 1030073: Use an ordinary proof to show the conclusion can be derived from the premises.
1. G ⊃ (H ⊃ K)
2. (H v ~M) ⊃ ~K
3. H /~G
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
 1. G ⊃ (H ⊃ K)
 2. (H v ~M) ⊃ ~K
 3. H             /~G

 4. H v ~M            3, addition
 5. ~K                2,4, modus ponens
 6. ~(H ⊃ K) ⊃ ~G    1, transposition
 7. ~(~H v K) ⊃ ~G   6, Material implication
 8. (~~H • ~K) ⊃ ~G  7, DeMorgan's law
 9. (H • ~K) ⊃ ~G    8, Double negation
10. H • ~K           3,5 Conjunction
11. ~G               9,10, Modus ponens  

[Note some teachers and books use & instead of •, 
while others use ∧ ]
 
Edwin
RELATED QUESTIONS

Use an ordinary proof to show the conclusion can be derived from the premises. 1. K... (answered by Edwin McCravy)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. ~N... (answered by robertb)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)
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)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E (answered by Edwin McCravy)