document.write( "Question 1131580: 1.(A&B)⊃C
\n" ); document.write( "2. B& ~c/ ~A
\n" ); document.write( "(indirect proof \n" ); document.write( "
Algebra.Com's Answer #749038 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.(A&B)⊃C\r\n" );
document.write( "2. B&~C       / ~A\r\n" );
document.write( "(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.  A&B     4,5, conj.\r\n" );
document.write( "          | 7.  C       1,6, MP\r\n" );
document.write( "          | 8.  ~C&B    2, commutation\r\n" );
document.write( "          | 9.  ~C      8, simp.\r\n" );
document.write( "          |10.  C&~C    7,9, conj.\r\n" );
document.write( "11. ~A     lines 3-10     IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );