document.write( "Question 1137115: Please help me answer this. Thank you in advance
\n" ); document.write( "I. Construct formal proof of validity for the following statements:\r
\n" ); document.write( "\n" ); document.write( "G.
\n" ); document.write( "1. S > U
\n" ); document.write( "2. U > (T > V)
\n" ); document.write( "3. ~ (T > V) /: . ~S
\n" ); document.write( "

Algebra.Com's Answer #755085 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
I'll only pick one and solve it.  I pick G. If you \r\n" );
document.write( "want to ask about how I got any of the steps, then feel \r\n" );
document.write( "free to ask below and I'll get back to you by email.  \r\n" );
document.write( "Nobody is going to solve an entire homework assignment \r\n" );
document.write( "for you.  The idea here is to help you learn, not do it \r\n" );
document.write( "for you so you won't have to learn.\r\n" );
document.write( "\r\n" );
document.write( "G. \r\n" );
document.write( "1. S > U\r\n" );
document.write( "2. U > (T > V)\r\n" );
document.write( "3. ~ (T > V) /: . ~S \r\n" );
document.write( "\r\n" );
document.write( "           |4. ~~S                AIP\r\n" );
document.write( "           |5. S                    4, DN\r\n" );
document.write( "           |6. U                  1,6, MP\r\n" );
document.write( "           |7. T > V              2,6, MP\r\n" );
document.write( "           |8. (T>V) ^ ~(T > V)   7,3, Conj. \r\n" );
document.write( " 9. ~(~~S)                         lines 4-8 IP\r\n" );
document.write( "10. ~S                              9, DN      \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );