Item
3.1.8.a
.
\(\neg(P \imp \neg Q)\text{.}\)
in-context