Biimplications is a compound statement with the
connecting words “... if and only if”. Thus, the notation “p
⇔ q” is read as “p if and only if q”.
Biimplikasi adalah pernyataan majemuk dengan kata
hubung “… jika dan hanya jika”. Sehingga, notasi dari “p
⇔ q” akan dibaca “p jika dan hanya jika q”