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)![]() ![]() 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( " |