Question 932733
<pre>
1.  (S v T) > (S > ~T)
2.  (S > ~T) > (T > K)
3.  S v T 
/   S v K
-------------------------------------------------------
4.  S > ~T               1,3       Modus Ponens
5.  T > K                2,4       Modus Ponens
6.  ~~S v T              3         Double Negation
7.  ~S > T               6         Material Implication
8.  ~S > K               7,5       Hypothetical Syllogism
9.  ~~S v K              8         Material Implication
10. S v K                9         Double Negation
</pre>

------------------------------------------------------------------------------------------------------------------------


If you need more one-on-one help, email me at <a href="mailto:jim_thompson5910@hotmail.com?Subject=I%20Need%20Algebra%20Help">jim_thompson5910@hotmail.com</a>. You can ask me a few more questions for free, but afterwards, I would charge you ($2 a problem to have steps shown or $1 a problem for answer only).


Alternatively, please consider visiting my website: <a href="http://www.freewebs.com/jimthompson5910/home.html">http://www.freewebs.com/jimthompson5910/home.html</a> and making a donation. Any amount is greatly appreciated as it helps me a lot. This donation is to support free tutoring. Thank you.


Jim

------------------------------------------------------------------------------------------------------------------------