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)![]() ![]() 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( " \n" ); document.write( " \n" ); document.write( " |