document.write( "Question 1191062: Construct proofs for the following using the basic rules of inference.
\n" ); document.write( "a. C ⊃ (∼A ∨ B), C ∙ ∼B, /∴ ∼A
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #822806 by Solver92311(821) $\"\"$ $\"About$

You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1.  C -> (~A v B)\r\n" );
document.write( "\r\n" );
document.write( "2.  C & ~B                   |∴ ~A\r\n" );
document.write( "\r\n" );
document.write( "3.  C                  2.    Simplification\r\n" );
document.write( "\r\n" );
document.write( "4.  ~A v B             1,3.  Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "5.  ~B                 2.    Simplification\r\n" );
document.write( "\r\n" );
document.write( "6.  ∴ ~A               4,5.  Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "

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

\r
\n" ); document.write( "\n" ); document.write( "From
\n" ); document.write( "I > Ø
\n" ); document.write( "

\n" ); document.write( "

\n" );