Butir.
\(\neg P\) benar ketika \(P\) salah.
dalam konteks