SOLUTION: Create a proof for the following argument: 1. D ⊃ (∼G ⊃ ∼H) 2. (K ∨ M) ⊃ H 3. G ∨ D 4. ∼G /∼(K ∨ M) 5.

Question 1139914: Create a proof for the following argument:
1. D ⊃ (∼G ⊃ ∼H)
2. (K ∨ M) ⊃ H
3. G ∨ D
4. ∼G /∼(K ∨ M)
5.
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. D ⊃ (∼G ⊃ ∼H)
2. (K ∨ M) ⊃ H
3. G ∨ D
4. ∼G              /∼(K ∨ M)

5. D           3,4 disjunctive syllogism
6. ∼G ⊃ ∼H    1,5 modus ponens
7. ~H          6,4 modus ponens
8. ~(K ∨ M)    2,7 modus tollens

Edwin

RELATED QUESTIONS
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)

I have started the following proof but am not sure how to finish. thanks! 1. G>(H>K) 2. (answered by jim_thompson5910)

Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect proof): 1. G ⊃ (H ⊃ K) 2.... (answered by Edwin McCravy)

Use the following functions f(x)=x , g(x)=x-3, h(x)=x^2-9 , k(x)=2x. Find each value... (answered by Fombitz)

B ⊃ ∼C C ∨ [D ∨ (G • K)] ∼G ∨ ∼K B ⊃ D Create a method for the... (answered by mccravyedwin)

Match the corresponding function formula with each function when h(x) = 3x + 2 and g(x) = (answered by stanbon)

Create proof for the following argument 1. (H ∨ M) ∨ L 2. L ⊃ H 3. H ⊃ (M ⊃... (answered by Edwin McCravy)