Skip to main content

🔄 Bikondisional (↔) — Logika yang Saling Terhubung

Dalam logika matematika, ada satu bentuk pernyataan penting yang disebut bikondisional atau bi-implikasi.
Pernyataan ini menggunakan kata penghubung "jika dan hanya jika", dan biasanya ditulis sebagai:

p ↔ q

💡 Apa Itu Bikondisional?​

Pernyataan p ↔ q akan bernilai benar hanya jika:

  • Kedua pernyataan benar
  • Atau, kedua pernyataan salah

Kalau salah satu benar dan satunya salah, maka p ↔ q salah.

📊 Tabel Kebenaran Bikondisional​

p (pernyataan pertama)q (pernyataan kedua)p ↔ q (hasil)
Benar (T)Benar (T)✅ Benar
Benar (T)Salah (F)❌ Salah
Salah (F)Benar (T)❌ Salah
Salah (F)Salah (F)✅ Benar

🧠 Contoh Sederhana​

Misalnya:

  • p: "Aku belajar malam ini"
  • q: "Aku lulus ujian"

Pernyataan bikondisional:

"Aku belajar malam ini jika dan hanya jika aku lulus ujian."

✅ Kalimat ini benar jika:

  • Aku belajar dan aku lulus
  • Aku tidak belajar dan aku tidak lulus

❌ Kalimat ini salah jika:

  • Aku belajar tapi tidak lulus
  • Aku tidak belajar tapi lulus

✍️ Intinya​

p ↔ q berarti kedua pernyataan harus punya nilai kebenaran yang sama.

  • Sama-sama benar = BENAR ✅
  • Sama-sama salah = BENAR ✅
  • Satu benar, satu salah = SALAH ❌