🔗 Kombinasi Proposisi
Dalam logika, kita dapat membuat proposisi baru dengan menggabungkan beberapa proposisi menggunakan operator logika. Operator dasar yang sering digunakan adalah dan (and), atau (or), dan tidak (not).
- "AND" (∧) dan "OR" (∨) disebut operator biner karena menghubungkan dua proposisi.
- "NOT" (¬) disebut operator uniter karena hanya mempengaruhi satu proposisi.
Proposisi yang dihasilkan dari kombinasi ini disebut proposisi majemuk (compound proposition), sementara proposisi yang berdiri sendiri tanpa kombinasi disebut proposisi atomik.
🧠 Sejarah Singkat
Konsep penggabungan proposisi ini pertama kali diperkenalkan oleh George Boole dalam bukunya The Laws of Thought (1854). Ia mengembangkan Logika Boolean, yang sekarang banyak digunakan dalam bidang pemrograman dan ilmu komputer.
🔄 Jenis-Jenis Proposisi Majemuk
Misalkan kita memiliki dua proposisi:
- p: Hari ini hujan.
- q: Murid-murid diliburkan dari sekolah.
Dengan operator logika, kita bisa membentuk kombinasi berikut:
1️⃣ Konjungsi (AND - ∧)
Gabungan proposisi dengan kata "dan", yaitu p ∧ q.
Contoh:
"Hari ini hujan dan murid-murid diliburkan dari sekolah."
- Artinya, kedua proposisi harus benar agar hasilnya benar.
2️⃣ Disjungsi (OR - ∨)
Gabungan proposisi dengan kata "atau", yaitu p ∨ q.
Contoh:
"Hari ini hujan atau murid-murid diliburkan dari sekolah."
- Artinya, salah satu atau kedua proposisi bisa benar, dan hasilnya tetap benar.
3️⃣ Negasi (NOT - ¬)
Membalik nilai kebenaran proposisi, yaitu ¬p.
Contoh:
"Hari ini tidak hujan."
- Jika p bernilai benar (hujan), maka ¬p bernilai salah (tidak hujan), dan sebaliknya.
🚀 Manfaat Memahami Operator Logika
Dengan memahami operator logika ini, kita dapat menyusun berbagai pernyataan yang lebih kompleks dan logis. Operator ini sangat berguna untuk:
- Membuat argumen yang lebih struktural.
- Menganalisis hubungan antara proposisi-proposisi yang lebih rumit.
- Menerapkan logika dalam pemrograman dan algoritma.
Pahami dengan baik konsep-konsep dasar ini, dan kamu bisa mulai mengembangkan logika yang lebih kompleks dalam berbagai bidang, terutama dalam pemrograman dan analisis data.