SOLUTION: Given the argument: 1. G⊃(H⊃K) 2.(H∨∼M)⊃∼K 3. H /∼G Identify the rules of replacement/inference used to derive the proposition: (G • H) ⊃ ~K?

Question 1207644: Given the argument:
1. G⊃(H⊃K)
2.(H∨∼M)⊃∼K
3. H /∼G
Identify the rules of replacement/inference used to derive the proposition: (G • H) ⊃ ~K?
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


Given the argument:
1. G ⊃ (H ⊃ K)
2.(H ∨ ∼M) ⊃ ∼K
3. H        / ∼G

4. H ∨ ∼M          3, Addition  
5. ~K               2, Modus ponens
6. (G • H) ⊃ K     1, importation
7. ~(G • H)       6,5  Modus ponens   
8. ~G ∨ ~H          7, DeMorgan's
9. ~~H              3, Double negation
10. ~G            8,9, Disjunctive syllogism              

-----------------------------------------------

Identify the rules of replacement/inference used to derive the proposition: 
(G • H) ⊃ ~K? 

Sorry, that's not true in the above case as you see by step 6. 

Edwin

RELATED QUESTIONS
Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)

Proof using rules of replacement. Thanks for your help. 1. G � K 2. K ⊃ E (answered by Edwin McCravy)

Create a proof for the following argument: 1. D ⊃ (∼G ⊃ ∼H) 2. (K ∨ M) ⊃ H (answered by Edwin McCravy)

2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive (answered by jim_thompson5910)

1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs... (answered by Edwin McCravy)

How do you come to the conclusion of ~G given the following premises 1. G->(H->K)... (answered by jim_thompson5910)

A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)

Premise: 1. (K ∨ L) ⊃ (M • N) 2. (N ∨ O) ⊃ (P • ~K) Conclusion: ~K Use (answered by math_tutor2020)