SOLUTION: Use an ordinary proof (not conditional or indirect proof): 1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H / ∼G

Question 1141413: Use an ordinary proof (not conditional or indirect proof):
1.
G ⊃ (H ⊃ K)

2.
(H ∨ ∼M) ⊃ ∼K

3.
H
/ ∼G
Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!

Use an ordinary proof (not conditional or indirect proof):

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.  ~(G ∙ H)       6,5, modus tollens
8.  ~G ∨ ~H        7, deMorgan's law
9.  ~H ∨ ~G        8, commutation
10. ~~H ∨ ~G       3, double negation
11. ~G             9,10, disjunctive syllogism    

Edwin

RELATED QUESTIONS
Use an ordinary proof (not conditional or indirect proof): 1. M⊃(R • E) 2.... (answered by math_helper)

Use an ordinary proof (not conditional or indirect proof): 1. K∨(S • N) 2.... (answered by Edwin McCravy,jim_thompson5910)

Using an ordinary proof (not a conditional or indirect proof) 1. S ⊃ (K ⋅... (answered by richwmiller)

Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)

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

Using an ordinary proof (not a conditional or indirect proof) (answered by richwmiller)

Use an ordinary proof (not conditional or indirect proof): 1. ∼N ⊃ (∼R ⊃ C) (answered by math_tutor2020)