document.write( "Question 1178950: Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight rules of implication to prove this argument is valid.
\n" ); document.write( "1. H ⊃ ~A
\n" ); document.write( "2. A /~(H v ~A)
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #808713 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1. H ⊃ ~A\r\n" );
document.write( " 2. A           /~(H v ~A)\r\n" );
document.write( "\r\n" );
document.write( " 3. ~~A          2, DN\r\n" );
document.write( " 4. ~H           1,3, MT\r\n" );
document.write( " 5. ~H • ~~A     4,3, conj.\r\n" );
document.write( " 6. ~(H v ~A)    5, DM\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );