document.write( "Question 654642: Given: a --> c Prove: b
\n" ); document.write( " ~a --> b
\n" ); document.write( " ~c
\n" ); document.write( "

Algebra.Com's Answer #408828 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.  a --> c  \r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "2. ~a --> b\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "3. ~c        /b\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "4. ~a        1 & 3: modus tollens\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "5. ~a --> b  2: given\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "6.  b        4 & 5: QED\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "
\"The

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