document.write( "Question 824313: how to proof the arguments:\r
\n" ); document.write( "\n" ); document.write( "1. T ⊃ G
\n" ); document.write( "2. S ⊃ G
\n" ); document.write( "∴ (T ∨ S) ⊃ G \n" ); document.write( "
Algebra.Com's Answer #496306 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. T ⊃ G\r\n" );
document.write( "2. S ⊃ G \r\n" );
document.write( "∴ (T ∨ S) ⊃ G\r\n" );
document.write( "\r\n" );
document.write( "(T ⊃ G) & (S ⊃ G)       given \r\n" );
document.write( "(~T ∨ G) & (~S ∨ G)     by  P ⊃ Q  <=> ~P ∨ Q\r\n" );
document.write( "(~T & ~S) ∨ G           by ∨ is distributive over &\r\n" );
document.write( "~(T ∨ S) ∨ G            by deMorgan's law.\r\n" );
document.write( "(T ∨ S) ⊃ G             by  P ⊃ Q  <=> ~P ∨ Q\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );