document.write( "Question 1060015: Need help with these proofs using rules of implication! Thank you!\r
\n" ); document.write( "\n" ); document.write( "1. P v (T v R)\r
\n" ); document.write( "\n" ); document.write( "2. T ⊃ S \r
\n" ); document.write( "\n" ); document.write( "3. R ⊃ Q\r
\n" ); document.write( "\n" ); document.write( "4. ~P /S v Q \n" ); document.write( "
Algebra.Com's Answer #675058 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. P v (T v R) \r\n" );
document.write( "2. T ⊃ S \r\n" );
document.write( "3. R ⊃ Q \r\n" );
document.write( "4. ~P            /S v Q\r\n" );
document.write( "\r\n" );
document.write( "5. T v R                          1,4 Disjunctive Syllogism\r\n" );
document.write( "6. (T ⊃ S) & (R ⊃ Q) & (T v R)   2,3,5, Conjunction \r\n" );
document.write( "7. S v Q                          6, Constructive dilemma\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );