document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=869969>Question 869969</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Alright, I have access to rules:\r<BR>\n" );
document.write( "\n" );
document.write( "1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism  5. Constructive dilemma 6. Simplification 7. conjunction 8. addition 9. demorgan 10. commutative 11. associative 12. Distribute 13. Double negate 14. transposition 15. Implication 16. equivalence 17. exportation  18. tautology\r<BR>\n" );
document.write( "\n" );
document.write( "Please help with this:<BR>\n" );
document.write( "v=or<BR>\n" );
document.write( "1. D v C<BR>\n" );
document.write( "2. C > (F v D)<BR>\n" );
document.write( "3. ~F<BR>\n" );
document.write( "conclusion: D </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #524609 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=524609\">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. D v C\r\n" );
document.write( "2. C > (F v D)\r\n" );
document.write( "3. ~F\r\n" );
document.write( "conclusion: D\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.  ~~C > (F v D)                                  2      Double Negation\r\n" );
document.write( "5.  ~C v (F v D)                                   4      Material Implication\r\n" );
document.write( "6.  ~C v (D v F)                                   5      Commutation\r\n" );
document.write( "7.  (~C v D) v F                                   6      Association\r\n" );
document.write( "8.  (C > D) v F                                    7      Material Implication\r\n" );
document.write( "9.  F v (C > D)                                    8      Commutation                                    \r\n" );
document.write( "10. ~~F v (C > D)                                  9      Double Negation\r\n" );
document.write( "11. C > D                                          10,3   Disjunctive Syllogism\r\n" );
document.write( "12. ~~D v C                                        1      Double Negation\r\n" );
document.write( "13. ~D > C                                         12     Material Implication\r\n" );
document.write( "14. ~D > D                                         13,11  Hypothetical Syllogism\r\n" );
document.write( "15. ~~D v D                                        14     Material Implication\r\n" );
document.write( "16. D v D                                          15     Double Negation\r\n" );
document.write( "17. D                                              16     Tautology\r\n" );
document.write( "</PRE> </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );