SOLUTION: How do you come to the conclusion of ~G given the following premises 1. G->(H->K) 2.(Hv~M)->~K 3. H Key: "->" means horseshoe (material implication) "v" means wedge (di

Algebra.Com
Question 607197: How do you come to the conclusion of ~G given the following premises
1. G->(H->K)
2.(Hv~M)->~K
3. H
Key: "->" means horseshoe (material implication)
"v" means wedge (disjucntion)
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.   G -> (H -> K)
2.   (H v ~M) -> ~K
3.   H 
-------------------------------------------------------
4.   H v ~M                          3        Addition
5.   ~K                              2,4      Modus Ponens
6.   (G * H) -> K                    1        Exportation
7.   ~(G * H)                        6,5      Modus Tollens
8.   ~G v ~H                         7        De Morgan's Law
9.   ~H v ~G                         8        Commutation
10.  ~~H                             3        Double Negation
11.  ~G                              9,10     Disjunctive Syllogism

RELATED QUESTIONS

I have started the following proof but am not sure how to finish. thanks! 1. G>(H>K) 2. (answered by jim_thompson5910)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)
Select the conclusion that follows in a single step from the given premises. 1. ~(G • (answered by Edwin McCravy)
Given the following premises: 1. (~H · ~J) > K 2. ~(~H · ~J) 3. (~H · N) v... (answered by Edwin McCravy)
For each of the following lists of premises, derive the indicated conclusion and complete (answered by Edwin McCravy)
Given the argument: 1. G⊃(H⊃K) 2.(H∨∼M)⊃∼K 3. H /∼G Identify the (answered by Edwin McCravy)
Write out the conclusion that follows in a single step from the given premises (please... (answered by math_helper)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Given the functions: f(x)= {(3,5), (2,4), (1,7)} h(x)= {(3,2), (4,3), (1,6)} g(x)=... (answered by Fombitz)