document.write( "Question 1104861: 1. A -> (B -> C)
\n" ); document.write( "2. A -> B
\n" ); document.write( "3. ~ C ->(A V D) / C V D \n" ); document.write( "
Algebra.Com's Answer #719621 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. A -> B\r\n" );
document.write( "3. ~C ->(A V D)  / C V D\r\n" );
document.write( "\r\n" );
document.write( "              | 4. ~(C V D)        AIP\r\n" );
document.write( "              | 5. ~C & ~D       4, DM\r\n" );
document.write( "              | 6. ~C            5, Simp\r\n" );
document.write( "              | 7. A V D       3,6, MP\r\n" );
document.write( "              | 8. ~D & ~C       5, Comm\r\n" );
document.write( "              | 9. ~D            8, Simp\r\n" );
document.write( "              |10. D V A         7, Comm\r\n" );
document.write( "              |11. A          10,9, DS\r\n" );
document.write( "              |12. B          2,12, MP\r\n" );
document.write( "              |13. B -> C     1,13, MP\r\n" );
document.write( "              |14. C         13,12, MP\r\n" );
document.write( "              |15. C & ~C     14,6, Conj\r\n" );
document.write( "16. C V D                          4-15 IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );