证明用TP证明U→¬V, U∨S , S→¬V, W→V => ¬W。

根据题目中的条件，我们可以得到：
1. U → ¬V（已知条件）
2. U ∨ S（已知条件）
3. S → ¬V（已知条件）
4. W → V（已知条件）

使用假设推导法，假设 ¬W 不成立，即 W 成立，则根据第4个条件可知 V 成立，进而根据第3个条件可知 S 不成立，与第2个条件 U ∨ S 矛盾；因此假设不成立，即 ¬W 成立，证毕。