document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1008769>Question 1008769</A>: <I><SPAN STYLE=\"word-break: break-all;\"> i need help solving this indirect proof<BR>\n" );
document.write( "1. (R v S) > (H & ~G)\r<BR>\n" );
document.write( "\n" );
document.write( "2. (K v R) > (G v ~H)     /   ~R\r<BR>\n" );
document.write( "\n" );
document.write( "and also help on a conditional proof<BR>\n" );
document.write( "1. N > (F & A)\r<BR>\n" );
document.write( "\n" );
document.write( "2. B > (R & F)       /    (N v B) > (A v R) <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 #624394 by </B><A HREF=/tutors/aboutme.mpl?userid=Edwin+McCravy><B>Edwin McCravy(20055)</B></A><img src=\"/images/stars/stars-13.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=Edwin+McCravy><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/cgi-bin/show-face.mpl?user=Edwin+McCravy><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=624394\">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. (R v S) > (H & ~G)\r\n" );
document.write( " 2. (K v R) > (G v ~H)     /   ~R\r\n" );
document.write( "\r\n" );
document.write( " 3.  ~~R                   Indirect Proof Assumption (IPA)\r\n" );
document.write( " 4. R                      3, Double Negation        (DN)\r\n" );
document.write( " 5. R v S                  4, Addition               (Add)\r\n" );
document.write( " 6. H & ~G                 1,5, Modus Ponens         (MP)\r\n" );
document.write( " 7. ~G & H                 6, Commutativity          (Comm)\r\n" );
document.write( " 8. ~G & ~~H               7, Double Negation        (DN)\r\n" );
document.write( " 9. ~(G v ~H)              8, DeMorgan's Law         (DM)\r\n" );
document.write( "10. ~(K v R)               2,9 Modus Tollens         (MT)\r\n" );
document.write( "11. ~K & ~R                10, DeMorgan's Law        (DM)\r\n" );
document.write( "12. ~R                     11, Simplification        (Simp)\r\n" );
document.write( "13. R & ~R                 4,13 Conjunction          (Conj)\r\n" );
document.write( "14. ~R                     3-13 Indirect Proof       (IP)       \r\n" );
document.write( "\r\n" );
document.write( "and also help on a conditional proof\r\n" );
document.write( "1. N > (F & A)\r\n" );
document.write( "2. B > (R & F)       /    (N v B) > (A v R)\r\n" );
document.write( "\r\n" );
document.write( "3. N v B                Conditional Proof Assumption    (CPA)\r\n" );
document.write( "4. (F & A) v (R & F)    1,2,3 Constructive Dilemma      (CD)\r\n" );
document.write( "5. (F & A) v (F & R)    4, Commutativity                (Comm) \r\n" );
document.write( "6. F & (A v R)          5, Distribution                 (Dist)\r\n" );
document.write( "7. A v R                6, (Conjunctive) Simplification (Simp)  \r\n" );
document.write( "8. (N v B) > (A v R)    3-7 Conditional Proof           (CP)   \r\n" );
document.write( "\r\n" );
document.write( "Edwin</PRE> </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );