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

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

Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!

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

4.      H ∨ ∼M           3,  addition
5.      ~K               2,4, modus ponens
6.      (G ∨ H) ⊃ K      1,  importation
7.      ~K ⊃ ~(G ∨ H)    6,  transposition
8.      ~(G ∨ H)         7,5, modus ponens
9.      ~G • ~H          8,  DeMorgan's law
10.     ~G               9, simplification

Edwin

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

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

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)

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