Skip to main content

🔗 Proposisi Bersyarat (Implikasi)

Selain berbentuk konjungsi, disjungsi, atau negasi, proposisi majemuk juga bisa dinyatakan dalam bentuk "jika p, maka q", seperti pada kalimat:

  • Jika adik lulus ujian, maka ia mendapat hadiah dari ayah.
  • Jika kamu tidak belajar, maka kamu tidak akan lulus.

Pernyataan semacam ini disebut proposisi bersyarat, atau juga dikenal sebagai implikasi atau kondisional.

🔤 Notasi Formal​

Misalkan:

  • p: pernyataan pertama (hipotesis)
  • q: pernyataan kedua (konklusi)

Pernyataan "jika p, maka q" ditulis dalam bentuk simbolis sebagai:

p → q

📌 Istilah Penting​

  • p disebut: hipotesis, anteseden, premis, atau kondisi
  • q disebut: konklusi atau konsekuen

✅ Kapan Implikasi Bernilai Benar?​

Dalam logika matematika:

  • p → q hanya salah jika p benar dan q salah
  • Dalam semua kasus lainnya, implikasi dianggap benar

🧠 Analogi Sederhana​

Bayangkan dosen berkata kepada mahasiswanya:

"Jika nilai ujian akhir Anda 80 atau lebih, maka Anda akan mendapatkan nilai A."

  • Jika kamu dapat 85 dan dapat A → ✅ pernyataan benar
  • Jika kamu dapat 85 tapi tidak dapat A → ❌ pernyataan salah
  • Kalau kamu dapat 70 dan tidak dapat A → ✅ tetap dianggap benar
  • Kalau kamu dapat 70 tapi tetap dapat A → ✅ tetap dianggap benar juga

👉 Dalam logika formal, kita tidak selalu melihat hubungan sebab-akibat seperti dalam bahasa sehari-hari.

📚 Catatan Penting​

Dalam matematika, implikasi tidak selalu berarti ada hubungan sebab-akibat.
Yang penting hanyalah konsistensi nilai kebenarannya, bukan urutan waktu atau logika sebab-akibat.