Jika dan hanya jika


Jika dan hanya jika, dalam logika dan bidang-bidang terkait seperti matematika dan filsafat, adalah suatu koneksi logika bikondisional di antara pernyataan-pernyataan. Karena merupakan "bikondisional", koneksi itu dapat diserupakan dengan kondisional material baku dikombinasi dengan kebalikannya ("if"); sehingga dinamakan demikian. Hasilnya adalah bahwa kebenaran dari satu pernyataan terkait membutuhkan kebenaran pernyataan yang lain, yaitu keduanya benar, atau keduanya salah.