document.write( "Question 973430: 1. ~(~E.~N)>T
\n" ); document.write( "2. G>(N+E) /G>T\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 #595681 by Edwin McCravy(20060)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ~(~E•~N)>T\r\n" );
document.write( "2. G>(N+E)    /G>T\r\n" );
document.write( "\r\n" );
document.write( "3. ~~E+~~N>T      1, DeMorgan's law\r\n" );
document.write( "4. E+N>T          3, Double Negation\r\n" );
document.write( "5. N+E>T          4, Commutation\r\n" );
document.write( "6. G>T          2,5, Hypothetical Syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );