document.write( "Question 193056: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.\r
\n" ); document.write( "\n" ); document.write( "1. (A v B) v C
\n" ); document.write( "2. ~A / C v B
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  (A v B) v C\r\n" );
document.write( "2.   ~A   / C v B\r\n" );
document.write( "-----------------------\r\n" );
document.write( "3.   A v (B v C)           1     Association\r\n" );
document.write( "4.   B v C                 3,2   Disjunctive Syllogism\r\n" );
document.write( "5.   C v B                 4     Commutation\r\n" );
document.write( "

\n" ); document.write( "

\n" );