⚖️ Hukum-Hukum Logika Proposisi

Dalam logika proposisional, terdapat sejumlah hukum yang menunjukkan bagaimana proposisi bisa dimanipulasi atau disederhanakan. Hukum-hukum ini mirip dengan hukum dalam aljabar bilangan, sehingga sering juga disebut sebagai hukum aljabar logika.

Hukum-hukum ini berguna untuk:

• Menyederhanakan proposisi majemuk
• Membuktikan kesetaraan antar proposisi
• Menghindari penggunaan tabel kebenaran yang terlalu besar

---

1. 🆔 Hukum Identitas

Nama	Bentuk Matematis
Identitas AND	P ∧ T ≡ P
Identitas OR	P ∨ F ≡ P

---

2. 🚫 Hukum Dominasi

Nama	Bentuk Matematis
Dominasi AND	P ∧ F ≡ F
Dominasi OR	P ∨ T ≡ T

---

3. 🔁 Hukum Idempotensi

Nama	Bentuk Matematis
Idempotensi AND	P ∧ P ≡ P
Idempotensi OR	P ∨ P ≡ P

---

4. 🔄 Hukum Involusi

Nama	Bentuk Matematis
Negasi Ganda	¬(¬P) ≡ P

---

5. 🔃 Hukum Komutatif

Nama	Bentuk Matematis
Komutatif AND	P ∧ Q ≡ Q ∧ P
Komutatif OR	P ∨ Q ≡ Q ∨ P

---

6. 🧱 Hukum Asosiatif

Nama	Bentuk Matematis
Asosiatif AND	(P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)
Asosiatif OR	(P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)

---

7. 🧮 Hukum Distributif

Nama	Bentuk Matematis
Distributif AND	P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)
Distributif OR	P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)

---

8. 🔀 Hukum De Morgan

Nama	Bentuk Matematis
De Morgan 1	¬(P ∧ Q) ≡ ¬P ∨ ¬Q
De Morgan 2	¬(P ∨ Q) ≡ ¬P ∧ ¬Q

---

9. ♻️ Hukum Absorpsi

Nama	Bentuk Matematis
Absorpsi 1	P ∨ (P ∧ Q) ≡ P
Absorpsi 2	P ∧ (P ∨ Q) ≡ P

---

10. ❗ Hukum Negasi

Nama	Bentuk Matematis
Negasi AND	P ∧ ¬P ≡ F
Negasi OR	P ∨ ¬P ≡ T

---

✍️ Kenapa Hukum Ini Penting?

Saat jumlah proposisi atomik makin banyak, misalnya sampai 10 buah, tabel kebenaran akan memiliki 2^10 = 1.024 baris. Membuat atau membaca tabel sepanjang itu jelas tidak efisien.

👉 Di sinilah hukum logika sangat membantu. Dengan menerapkan hukum-hukum ini, kita bisa menyederhanakan atau membuktikan kesetaraan antar proposisi secara logis dan cepat, tanpa perlu membuat tabel yang panjang.

---

📌 Kesimpulan:
Hukum logika proposisi adalah alat penting dalam logika matematika. Mereka membantu kita berpikir secara sistematis, menyederhanakan rumus, dan membuktikan argumen dengan lebih elegan.