SOLUTION: Premises: 1.) V->H 2.) ~V->S 3.) ~H -> ~S Conclusion: /H

Question 969536: Premises:
1.) V->H
2.) ~V->S
3.) ~H -> ~S
Conclusion:
/H
Answer by Edwin McCravy(20060) (Show Source): You can put this solution on YOUR website!
Premises:
1.) V->H
2.) ~V->S
3.) ~H -> ~S
Conclusion:
/H

4. ~~S->~~H       contrapositive, 3 
5. S->H           double negation, 4
6. ~V->H          hypothetical syllogism 2,5 
7. ~H->~~V        contrapositive, 6  
8. ~H->V          double negation, 7
9. ~H->~V         contrapositive, 1
10. V or ~V       tautology
11. H or H        constructive dilemma, 1,6,10

              Here's an explanation of step 11:
                  constructive dilemma says: p->q,r->s,(p or r), / (q or s)
                  we substitute p=V, q=H, r=~V, s=H      
                                             V->H,~V->H,(V or ~V), / (H or H)
                                                1,    6,       10, /   11
12. H             simplification (or idempotent), 11

Edwin

RELATED QUESTIONS
Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion:... (answered by Edwin McCravy)

Write out the conclusion that follows in a single step from the given premises (please... (answered by math_helper)

INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

Given the following premises: 1. (~H � ~J) > K 2. ~(~H � ~J) 3. (~H � N) v... (answered by Edwin McCravy)

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

Solve for s: v=(1/2)(s^2)(h)... (answered by graphmatics)

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

How do you come to the conclusion of ~G given the following premises 1. G->(H->K)... (answered by jim_thompson5910)

Please solve.... (answered by Fombitz)