Jika dan hanya jika
↔
⇔
≡
Logical symbols
representing iff
Jika dan hanya jika (if and only if; disingkat iff), 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 ("hanya jika", sama dengan "jika ... maka") 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.
Definisi
Tabel kebenaran p ↔ q adalah sebagai berikut:[1]
| p | q | p ↔ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
di mana: T: true atau "benar"; F: false atau "salah"
Perhatikan bahwa hasil itu sama dengan yang dihasilkan oleh XNOR gate, dan berlawanan dengan yang dihasilkan oleh XOR gate.
Penggunaan
Notasi
Simbol logika yang bersangkutan adalah "↔", "⇔" dan "≡", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks logika matematika (khususnya pada logika order pertama, daripada logika proposisional) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam metalogika). Dalam notasi Łukasiewicz, digunakan simbol prefiks 'E'.
Istilah lain untuk logical connective ini adalah exclusive nor.
Lihat pula
Pranala luar
- Language Log: "Just in Case"
- Southern California Philosophy for philosophy graduate students: "Just in Case"
Referensi
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 22226870 (2022-12-03T11:00:01Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.