Biimplikasi adalah pernyataan majemuk yang menghubungkan dua pernyataan dengan menggunakan kata 'jika dan hanya jika'. Sebuah kalimat biimplikasi akan bernilai benar jika kedua pernyataan memiliki nilai kebenaran yang sama, yaitu keduanya benar atau keduanya salah. Contohnya, 'Sebuah segitiga adalah sama sisi jika dan hanya jika ketiga sudutnya sama besar'. Dalam logika matematika, biimplikasi sangat penting untuk membuktikan kesetaraan dua pernyataan.