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

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