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 ->  Proofs -> SOLUTION: Create a proof for the following argument: 1. D ⊃ (∼G ⊃ ∼H) 2. (K ∨ M) ⊃ H 3. G ∨ D 4. ∼G /∼(K ∨ M) 5.      Log On


   

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) About Me  (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