document.write( "Question 962749: Can somebody please gimme a hand\r
\n" ); document.write( "\n" ); document.write( "1.¬S -> Q
\n" ); document.write( "2.(U v P) -> (F v T)
\n" ); document.write( "3.(R & S) -> T
\n" ); document.write( "4.¬R -> Q
\n" ); document.write( "5. Q -> U\r
\n" ); document.write( "\n" ); document.write( "concl: ¬T -> F \n" ); document.write( "
Algebra.Com's Answer #589227 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "I'll try.\r\n" );
document.write( "\r\n" );
document.write( "1.¬S -> Q\r\n" );
document.write( "2.(U v P) -> (F v T)\r\n" );
document.write( "3.(R & S) -> T\r\n" );
document.write( "4.¬R -> Q\r\n" );
document.write( "5. Q -> U\r\n" );
document.write( "\r\n" );
document.write( "concl: ¬T -> F\r\n" );
document.write( "\r\n" );
document.write( "6. ¬T -> ¬(R & S)          3, CP\r\n" );
document.write( "7. ¬T -> ¬R v ¬S           6, DM\r\n" );
document.write( "8. ¬R v ¬S -> Q            1,4, disjunctive elimination \r\n" );
document.write( "9. ¬T -> Q                 7,8, HS\r\n" );
document.write( "10. ¬T -> U                9,5, HS\r\n" );
document.write( "11. U -> (F v T)           2, simp.\r\n" );
document.write( "12. ¬T -> (F v T)          10,11 HS\r\n" );
document.write( "13. (~T -> F) v (¬T -> T)  12, implication is left distributive over disjunction \r\n" );
document.write( "14. ~T -> F                13, elimination of contradiction (~T -> T)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );