document.write( "Question 251010: Just one premise, but a difficult conclusion\r
\n" ); document.write( "\n" ); document.write( "S -> T\r
\n" ); document.write( "\n" ); document.write( "We have to show (U v S) -> (U v T) \n" ); document.write( "
Algebra.Com's Answer #182871 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Given.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Identity.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Defn of Or (at least U)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Defn of Or (at least T)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Therefore Defn of Or\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );