Item
.
\(\neg P\)
is read “not
\(P\text{,}\)
” and called a
negation
.
in-context