document.write( "Question 189543: 6) I can only use the 8 rules of inference...
\n" ); document.write( "1. (~B • ~C) → (D → C)
\n" ); document.write( "2. ~B
\n" ); document.write( "3. C →B / ~D
\n" ); document.write( "________________________
\n" ); document.write( " 4.
\n" ); document.write( "5.
\n" ); document.write( "6.
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #142220 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "

\r\n" );
document.write( "1. (~B & ~C) -> (D -> C)\r\n" );
document.write( "2. ~B\r\n" );
document.write( "3. C -> B   / ~D\r\n" );
document.write( "------------------------\r\n" );
document.write( "4.  ~C                   3,2    Modus Tollens\r\n" );
document.write( "5.  ~B & ~C              2,4    Conjunction\r\n" );
document.write( "6.  D -> C               1,5    Modus Ponens\r\n" );
document.write( "7.  ~D                   6,4    Modus Tollens\r\n" );
document.write( "

\n" ); document.write( "

\n" );