document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=932733>Question 932733</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Can someone please help me with this proof using the 18 rules of inference?<BR>\n" );
document.write( "> is a horshoe, v is the wedge, * is the dot<BR>\n" );
document.write( "1. (S v T) > (S > ~T)<BR>\n" );
document.write( "2. (S > ~T) > (T > K)<BR>\n" );
document.write( "3. S v T                Therefore: S v K<BR>\n" );
document.write( "4. S > ~T   1,3 Modus Ponens<BR>\n" );
document.write( "5. T > K    2,4 Modus Ponens<BR>\n" );
document.write( "6. (S > ~T) * (T > K) 4,5 Conjunction<BR>\n" );
document.write( "7. ~T v K 3,6 Constructive Dilemma<BR>\n" );
document.write( "8. ~S v ~T  4, Material Implication<BR>\n" );
document.write( "9. ~(S*T)   8, DeMorgan's Rule\r<BR>\n" );
document.write( "\n" );
document.write( "I have been stuck on this question for hours, and I can't seek to get to S v K.<BR>\n" );
document.write( " </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #566360 by </B><A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><B>jim_thompson5910(35256)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=jim_thompson5910><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/images/nopicture.jpg><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=566360\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> <PRE STYLE=\"white-space: pre-wrap; white-space: -moz-pre-wrap; white-space: -pre-wrap; white-space: -o-pre-wrap; word-wrap: break-word;\">\r\n" );
document.write( "1.  (S v T) > (S > ~T)\r\n" );
document.write( "2.  (S > ~T) > (T > K)\r\n" );
document.write( "3.  S v T \r\n" );
document.write( "/   S v K\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.  S > ~T               1,3       Modus Ponens\r\n" );
document.write( "5.  T > K                2,4       Modus Ponens\r\n" );
document.write( "6.  ~~S v T              3         Double Negation\r\n" );
document.write( "7.  ~S > T               6         Material Implication\r\n" );
document.write( "8.  ~S > K               7,5       Hypothetical Syllogism\r\n" );
document.write( "9.  ~~S v K              8         Material Implication\r\n" );
document.write( "10. S v K                9         Double Negation\r\n" );
document.write( "</PRE>\r<BR>\n" );
document.write( "\n" );
document.write( "------------------------------------------------------------------------------------------------------------------------\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "If you need more one-on-one help, email me at <a  rel=nofollow 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).\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Alternatively, please consider visiting my website: <a  rel=nofollow 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.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Jim\r<BR>\n" );
document.write( "\n" );
document.write( "------------------------------------------------------------------------------------------------------------------------ </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );