Biimplikasi atau ekuivalensi

Dua pernyataan p dan q dapat dibuat menjadi satu pernyataan baru atau kalimat
majemuk menjadi bentuk “p jika dan hanya jika q”. Pernyataan baru yang disusun
dengan cara seperti ini disebut pernyataan biimplikasi atau ekuivalensi dari pernyatan
p dan q. Biimplikasi dari pernyataan p dan q dalam bentuk simbol ditulis: