证明用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 成立，证毕。

相关问题

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

根据推理规则，我们可以使用反证法来证明 ¬W。假设 W 是真的，那么由 W→V 可以得出 V 是真的。由于 V 是真的，根据 S→¬V 可以得出 S 是假的。由于 S 是假的，但是 U∨S 是真的，所以 U 必须是真的。但是根据 U→¬V，我们可以得出 V 是假的，这与我们之前得出的 V 是真的相矛盾。因此，假设 W 是真的是错误的，即 ¬W 是真的。

间接证明法证明U→¬V, U∨S , S→¬V, W→V => ¬W。

根据间接证明法，我们假设 ¬¬W，即假设 W 成立，然后利用逻辑推导来推出矛盾。

由 W→V 和 ¬¬W，我们可以得到 V。

由 V 和 S→¬V，我们可以得到 ¬S。

由 U∨S 和 ¬S，我们可以得到 U。

由 U→¬V 和 V，我们可以得到 ¬U。

这样，我们就得到了 U 和 ¬U，产生了矛盾。

因此，假设 ¬¬W 是错误的，即 ¬W 是正确的，证毕。