document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=916774>Question 916774</A>: <I><SPAN STYLE=\"word-break: break-all;\">    Derive the conclusion from the given premise in the argument below<BR>\n" );
document.write( "   by utilizing inference rules:<BR>\n" );
document.write( " <BR>\n" );
document.write( " <BR>\n" );
document.write( "        C:    A & C<BR>\n" );
document.write( "       <BR>\n" );
document.write( "        --------------<BR>\n" );
document.write( " <BR>\n" );
document.write( "         P1:   A & B<BR>\n" );
document.write( " <BR>\n" );
document.write( "         P2:   B -> C<BR>\n" );
document.write( " I have looked back in my notes and I do believe I need to use modus ponens, modus tollens, disjunctive syllogism, hypothetical syllogism or simplification. I am having a hard time trying to figure out what the next premise would be or how to go about even knowing the next premise.  </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #556310 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=556310\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> Step 1) Use simplification to get A and B separately (from premise P1)\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Step 2) Use modus ponens with premise P2 and B (the B freed up in step 1) to get C\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "Step 3) We now have A and C as separate expressions. Combine them using conjunction to get A & C\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "That's the basic outline of how you solve this problem.  </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );