Butir
.
\(P \imp Q\)
dibaca “jika
\(P\)
maka
\(Q\text{,}\)
” dan disebut
implikasi
atau
kondisional
.
dalam konteks