document.write( "Question 193059: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
\n" ); document.write( "1. ~E
\n" ); document.write( "2. F → (D v E)
\n" ); document.write( "3. ~D / ~F
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #144902 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ~E\r\n" );
document.write( "2. F → (D v E)\r\n" );
document.write( "3. ~D / ~F\r\n" );
document.write( "----------------\r\n" );
document.write( "4. ~D & ~E          3,1   Conjunction\r\n" );
document.write( "5. ~(D v E)           4   DeMorgan's Law\r\n" );
document.write( "6. ~F               2,5   Modus Tollens\r\n" );
document.write( "
\n" ); document.write( "
\n" );