document.write( "Question 1131581: (A&B)->C
\n" ); document.write( "B&~C/ ~A (indirect proof) \n" ); document.write( "
Algebra.Com's Answer #748979 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.  (A&B)->C\r\n" );
document.write( "2.  B&~C        / ~A (indirect proof)\r\n" );
document.write( "\r\n" );
document.write( "           | 3.  ~~A        AIP\r\n" );
document.write( "           | 4.  A       3. DN\r\n" );
document.write( "           | 5.  B       2, Simp.\r\n" );
document.write( "           | 6.  ~C&B    2, Commutation\r\n" );
document.write( "           | 7.  ~C      6, Simp.\r\n" );
document.write( "           | 8.  A&B     4,5, Conj.\r\n" );
document.write( "           | 9.  C       1,8, MP\r\n" );
document.write( "           |10.  C&~C    9,7, Conj.    <--(contradiction)\r\n" );
document.write( "11. ~A            Lines 3-10  IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );