Pembuktian rumus dan materi matematika lainnya kunjungi terus http://rifandy23.blogspot.

com

Pembuktian Hukum De Morgan’s (Aljabar Himpunan)

8. Hukum De Morgan’s
a. (𝑨 ∪ 𝑩)𝑪 = 𝑨𝑪 ∩ 𝑩𝑪
b. (𝑨 ∩ 𝑩)𝑪 = 𝑨𝑪 ∪ 𝑩𝑪
Bukti :

a. Diketahui (𝐴 ∪ 𝐵)𝐶 = 𝐴𝐶 ∩ 𝐵𝐶 jika dan hanya jika (𝐴 ∪ 𝐵)𝐶 ⊆ 𝐴𝐶 ∩ 𝐵𝐶 dan 𝐴𝐶 ∩ 𝐵𝐶 ⊆

(𝐴 ∪ 𝐵)𝐶
- Ambil sebarang 𝑥 ∈ (𝐴 ∪ 𝐵)𝐶 , berarti 𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴 ∪ 𝐵. Dengan kata lain, 𝑥 ∈ 𝑆 dan
(𝑥 ∉ 𝐴 dan 𝑥 ∉ 𝐵), dapat pula dinyatakan (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴) dan (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐵).
Berakibat 𝑥 ∈ 𝐴𝐶 dan 𝑥 ∈ 𝐵𝐶 , karenanya didapat 𝑥 ∈ 𝐴𝐶 ∩ 𝐵𝐶 , sehingga diperoleh
(𝐴 ∪ 𝐵)𝐶 ⊆ 𝐴𝐶 ∩ 𝐵𝐶
- Ambil sebarang 𝑥 ∈ 𝐴𝐶 ∩ 𝐵𝐶 , berarti (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴) dan (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐵). Dapat pula
dinyatakan 𝑥 ∈ 𝑆 dan (𝑥 ∉ 𝐴 dan 𝑥 ∉ 𝐵) berakibat 𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴 ∪ 𝐵. Sehingga
diperoleh 𝑥 ∈ (𝐴 ∪ 𝐵)𝐶 . Jadi 𝐴𝐶 ∩ 𝐵𝐶 ⊆ (𝐴 ∪ 𝐵)𝐶
Dari kedua uraian diatas, dapat disimpulkan bahwa (𝐴 ∪ 𝐵)𝐶 = 𝐴𝐶 ∩ 𝐵𝐶 □

b. Diketahui (𝐴 ∩ 𝐵)𝐶 = 𝐴𝐶 ∪ 𝐵𝐶 jika dan hanya jika (𝐴 ∩ 𝐵)𝐶 ⊆ 𝐴𝐶 ∪ 𝐵𝐶 dan 𝐴𝐶 ∪ 𝐵𝐶 ⊆

(𝐴 ∩ 𝐵)𝐶
- Ambil sebarang 𝑥 ∈ (𝐴 ∩ 𝐵)𝐶 , berarti 𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴 ∩ 𝐵. Dengan kata lain, 𝑥 ∈ 𝑆 dan
(𝑥 ∉ 𝐴 atau 𝑥 ∉ 𝐵), dapat pula dinyatakan (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴) atau (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐵).
Berakibat 𝑥 ∈ 𝐴𝐶 atau 𝑥 ∈ 𝐵𝐶 , karenanya didapat 𝑥 ∈ 𝐴𝐶 ∪ 𝐵𝐶 , sehingga diperoleh
(𝐴 ∩ 𝐵)𝐶 ⊆ 𝐴𝐶 ∪ 𝐵𝐶
- Ambil sebarang 𝑥 ∈ 𝐴𝐶 ∪ 𝐵𝐶 , berarti (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴) atau (𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐵). Dapat
pula dinyatakan 𝑥 ∈ 𝑆 dan (𝑥 ∉ 𝐴 atau 𝑥 ∉ 𝐵) berakibat 𝑥 ∈ 𝑆 dan 𝑥 ∉ 𝐴 ∪ 𝐵. Sehingga
diperoleh 𝑥 ∈ (𝐴 ∩ 𝐵)𝐶 . Jadi 𝐴𝐶 ∪ 𝐵𝐶 ⊆ (𝐴 ∩ 𝐵)𝐶
Dari kedua uraian diatas, dapat disimpulkan bahwa (𝐴 ∩ 𝐵)𝐶 = 𝐴𝐶 ∪ 𝐵𝐶 □

Buku referensi :
“Lecture Notes in Discrete Mathematics” oleh Marcel B. Finan (2001)