Biimplikasi

Biimplikasi (biimplication) adalah pernyataan majemuk yang dihubungkan oleh kata “jika dan hanya jika”.