SOLUTION: Can somebody please gimme a hand 1.¬S -> Q 2.(U v P) -> (F v T) 3.(R & S) -> T 4.¬R -> Q 5. Q -> U concl: ¬T -> F

I'll try.

1.¬S -> Q
2.(U v P) -> (F v T)
3.(R & S) -> T
4.¬R -> Q
5. Q -> U

concl: ¬T -> F

6. ¬T -> ¬(R & S)          3, CP
7. ¬T -> ¬R v ¬S           6, DM
8. ¬R v ¬S -> Q            1,4, disjunctive elimination 
9. ¬T -> Q                 7,8, HS
10. ¬T -> U                9,5, HS
11. U -> (F v T)           2, simp.
12. ¬T -> (F v T)          10,11 HS
13. (~T -> F) v (¬T -> T)  12, implication is left distributive over disjunction 
14. ~T -> F                13, elimination of contradiction (~T -> T)

Edwin