Butir
.
\(P \imp Q\)
benar ketika
\(P\)
salah atau
\(Q\)
benar (atau keduanya).
dalam konteks