5. Biimplikasi
Biimplikasi adalah logika matematika ditandai dengan penggunakan kata “jika dan hanya jika”. Biimplikasi terjadi dalam proposisi majemuk dan disimbolkan dengan “<->”.
Biimplikasi hanya bernilai benar jika dua pernyataan (p dan q), dua-duanya bernilai benar atau dua-duanya bernilai salah. Biimplikasi akan bernilai salah jika salah satu dari dua pernyataan bernilai salah