document.write( "Question 973426: 1. R>~B
\n" ); document.write( "2. D+R
\n" ); document.write( "3. B /D\r
\n" ); document.write( "\n" ); document.write( "Use the eighteen inference rules to construct proofs for the following valid argument \n" ); document.write( "
Algebra.Com's Answer #595683 by Edwin McCravy(20065)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. R>~B\r\n" );
document.write( "2. D+R\r\n" );
document.write( "3. B    /D\r\n" );
document.write( "\r\n" );
document.write( "4. ~~B>~R     1, Contrapositive\r\n" );
document.write( "5. B>~R       4, Double Negation\r\n" );
document.write( "6. ~R       5,3, Modus Ponens\r\n" );
document.write( "7. D        2,6, Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );