Exercise 14.

Determine if the following is a valid deduction rule:

\((P \wedge Q) \imp R\)
\(\neg P \vee \neg Q\)
\(\therefore\) \(\neg R\)
in-context