Exercise 12.

Determine if the following deduction rule is valid:

\(P \vee Q\)
\(\neg P\)
\(\therefore\) \(Q\)
Solution.
in-context