0
$\begingroup$

Given the following arguments:

$ \tag A (R \to \neg S) \land (T \to \neg U)$

$ \tag B (V\to \neg W) \land (X \to \neg Y)$

$ \tag C (T \to W) \land (U \to S)$

$ \tag D V \lor R $

$$ \therefore \neg T \lor \neg U $$

how to prove this using the standard rules of inference?

1 Answers 1