Butir
.
\(P \iff Q\)
dibaca “
\(P\)
jika dan hanya jika
\(Q\text{,}\)
” dan disebut
bikondisional
.
dalam konteks