Item
.
\(\neg P\)
is true when
\(P\)
is false.
in-context