document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=1139588>Question 1139588</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Use conditional proof:<BR>\n" );
document.write( " <BR>\n" );
document.write( "1.	N ⊃ (F • A)	 <BR>\n" );
document.write( "2.	B ⊃ (R • F)	/ (N ∨ B) ⊃ (A ∨ 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 #760088 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=760088\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> <font face=\"times\" color=\"black\" size=\"3\"><BR>\n" );
document.write( "In place of the horseshoe symbol, I will use an arrow. Also, instead of a dot symbol, I will use an ampersand. For me it's easier to use these symbols for the spreadsheet diagram below. \r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "The idea is to assume the antecedent <font color=blue>N v B</font> and show that it leads to <font color=blue>A v R</font><BR>\n" );
document.write( "<IMG STYLE=\"max-width:80%;\" src = \"https://i.imgur.com/1fZdt7f.png\"><BR>\n" );
document.write( "The assumption is made on line 3. From there you use the logic rules of inference/replacement until you arrive at line 9. Lines 3 through 9 all combine to end up with the proper conclusion we want to derive. <BR>\n" );
document.write( "</font> </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );