document.write( "Question 199701: Solve the given proof for D. Include the rule from which each step was derived.\r
\n" ); document.write( "\n" ); document.write( "Given: A → ~B
\n" ); document.write( " ~(C^~A)
\n" ); document.write( " B
\n" ); document.write( " ~C→D\r
\n" ); document.write( "\n" ); document.write( "Prove: D
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #150066 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   A -> ~B\r\n" );
document.write( "2.   ~(C ^ ~A)\r\n" );
document.write( "3.   B\r\n" );
document.write( "4.   ~C -> D              :. D\r\n" );
document.write( "----------------------------------\r\n" );
document.write( "5.   ~~B                          3      Double Negation\r\n" );
document.write( "6.   ~A                         1,5      Modus Tollens\r\n" );
document.write( "7.   ~C v ~~A                     2      Distribution\r\n" );
document.write( "8.   ~C v A                       7      Double Negation\r\n" );
document.write( "9.   C -> A                       8      Material Implication\r\n" );
document.write( "10.  ~C                         9,6      Modus Tollens\r\n" );
document.write( "11.  D                         4,10      Modus Ponens\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "
\n" );