document.write( "Question 1025356: Please help me solve this Indirect Proof Equation
\n" ); document.write( "1.) (B&C)>[R>(S&T)]
\n" ); document.write( "2.) (CvD)>(R&~S)
\n" ); document.write( "3. B>C ................. /~B
\n" ); document.write( " (What I have so far?)
\n" ); document.write( " 4. B ............. AIP
\n" ); document.write( " 5. B&C ..........4, Com
\n" ); document.write( " 6. R>(S&T).....1,5 MP \n" ); document.write( "
Algebra.Com's Answer #640767 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "Please help me solve this Indirect Proof Equation\r\n" );
document.write( "1.) (B&C)>[R>(S&T)]\r\n" );
document.write( "2.) (CvD)>(R&~S)\r\n" );
document.write( "3. B>C                ................. /~B\r\n" );
document.write( "   (What I have so far?)  \r\n" );
document.write( "          4. B   ............. AIP\r\n" );
document.write( "          5. B&C ..........4, Com    <--- That's wrong! Get C first\r\n" );
document.write( "          6. R>(S&T).....1,5 MP\r\n" );
document.write( "\r\n" );
document.write( "---------------------\r\n" );
document.write( "\r\n" );
document.write( "1.) (B&C)>[R>(S&T)]\r\n" );
document.write( "2.) (CvD)>(R&~S)\r\n" );
document.write( "3.) B>C                ................. /~B\r\n" );
document.write( "   (What you should have)  \r\n" );
document.write( "          4. B   ............. AIP\r\n" );
document.write( "          5. C ...............3, MP\r\n" );
document.write( "          6. B&C .............4,5 conjunction    \r\n" );
document.write( "          7. R > (S&T)........1,6 MP\r\n" );
document.write( "          8. CvD  ............5, addition\r\n" );
document.write( "          9. R&~S ............2,8, MP\r\n" );
document.write( "         10. R ...............9, simplification\r\n" );
document.write( "         11. ~S&R ............9, commutation\r\n" );
document.write( "         12. ~S .............11, simplification\r\n" );
document.write( "         13. S&T  ...........7,10, MP\r\n" );
document.write( "         14. S    ...........13, simplification\r\n" );
document.write( "         15. S&~S ...........14,12, conjunction\r\n" );
document.write( "16. ~B      IP   4-15\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );