document.write( "Question 1059930: Using rules of implication, need help with the proofs!
\n" ); document.write( "
\r\n" );
document.write( "1. T -> (P v Q)\r\n" );
document.write( "2. S v ~(P v Q)\r\n" );
document.write( "3. ~S       |       ~T\r\n" );
document.write( "\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Thanks for your help!
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #674987 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "1. T -> (P v Q)\r\n" );
document.write( "2. S v ~(P v Q)\r\n" );
document.write( "3. ~S            |  ~T\r\n" );
document.write( "4. ~(P v Q)      2,3  Disjunctive Syllogism\r\n" );
document.write( "5. :.  ~T        4,1  Modus Tollens\r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );