SOLUTION: 1. G⊃(H⊃K) 2. (H∨∼M)⊃∼K 3. H / ∼G ∨ ∼H

Question 1140111: 1. G⊃(H⊃K)
2. (H∨∼M)⊃∼K
3. H / ∼G ∨ ∼H
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

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

4.  H∨∼M         3, addition
5.  ~K           2,4 modus ponens
6.  G⊃(~H∨K)     1,  material implication
7. ~G∨(~H∨K)     6.  material implication
8. (~G∨~H)∨K     7.  association
9. K∨(~G∨~H)     8.  commutation
10. ∼G∨∼H        9,5, disjunctive syllogism

Edwin

RELATED QUESTIONS
1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H /... (answered by Edwin McCravy)

1. G⊃(H⊃K) 2. (H∨∼M)⊃∼K 3. H /... (answered by math_helper,RBryant)

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

Logical Proofs (Solve and Show Work) 1. G ⊃ (H ⊃ K) 2. (H v ~M) ⊃ ~K 3. H /... (answered by Edwin McCravy)

1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v... (answered by Edwin McCravy)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H /~(K v H) (answered by CPhill)

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

1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) / ~R (answered by jim_thompson5910)