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

com

Pembuktian Hukum Komplemen (Aljabar Himpunan)

1. Hukum Komplemen
a. 𝑨 ∪ 𝑨𝑪 = 𝑺
b. 𝑨 ∩ 𝑨𝑪 = ∅
c. ∅𝑪 = 𝑺
d. 𝑺𝑪 = ∅
Bukti :

a. Diketahui 𝐴 ∪ 𝐴𝐶 = 𝑆 jika dan hanya jika 𝐴 ∪ 𝐴𝐶 ⊆ 𝑆 dan 𝑆 ⊆ 𝐴 ∪ 𝐴𝐶

- Jelas dari defenisi bahwa 𝐴 ∪ 𝐴𝐶 ⊆ 𝑆
- ambil sebarang 𝑥 ∈ 𝑆 , berarti 𝑥 ∈ 𝐴 atau 𝑥 ∉ 𝐴 .dalam notasi lain 𝑥 ∉ 𝐴 akan sama
dengan 𝑥 ∈ 𝐴𝐶 . pernyataan tersebut dapat pula dinyatakan dalam notasi 𝑥 ∈ 𝐴 ∪ 𝐴𝐶 .
berarti dapat disimpulkan bahwa 𝑆 ⊆ 𝐴 ∪ 𝐴𝐶
dari kedua uraian diatas dapat disimpulkan bahwa 𝑨 ∪ 𝑨𝑪 = 𝑺

b. Diketahui 𝐴 ∩ 𝐴𝐶 = ∅ jika dan hanya jika 𝐴 ∩ 𝐴𝐶 ⊆ ∅ dan ∅ ⊆ 𝐴 ∩ 𝐴𝐶

- Ambil sebarang 𝑥 ∈ 𝐴 ∩ 𝐴𝐶 berarti 𝑥 ∈ 𝐴 dan 𝑥 ∉ 𝐴. dalam notasi lain 𝑥 ∉ 𝐴 akan sama
dengan 𝑥 ∈ 𝐴𝐶 . pernyataan tersebut mengartikan bahwa x berada di A dan juga tidak
berada di A. ini tidak mungkin terjadi, karena tidak ada anggota yang merupakan anggota
A sekaligus bukan anggota A atau dengan kata lain hasil irisan kedua himpunan tersebut
merupakan himpunan kosong (∅). Ini menunjukkan bahwa 𝐴 ∩ 𝐴𝐶 ⊆ ∅
- Karena menurut teorema himpunan kosong merupakan himpunan bagian dari seluruh
himpunan, berarti ∅ ⊆ 𝐴 ∩ 𝐴𝐶
dari kedua uraian diatas dapat disimpulkan bahwa 𝑨 ∩ 𝑨𝑪 = ∅

c. Diketahui ∅𝐶 = 𝑆 jika dan hanya jika ∅𝐶 ⊆ 𝑆 dan 𝑆 ⊆ ∅𝐶

- jika 𝑥 ∈ 𝑆 dan 𝑥 ∉ ∅ ,dengan kata lain 𝑥 ∈ 𝑆 dan 𝑥 ∈ ∅𝐶 ini berarti 𝑥 ∈ 𝑆. Karena itu
∅𝐶 ⊆ 𝑆
- ambil 𝑥 ∈ 𝑆 berarti 𝑥 ∈ 𝑆 dan 𝑥 ∉ ∅ .Dengan demikian 𝑆 ⊆ ∅𝐶
dari kedua uraian diatas dapat disimpulkan bahwa ∅𝑪 = 𝑺

d. Diketahui 𝑆 𝐶 = ∅ jika dan hanya jika 𝑆 𝐶 ⊆ ∅ dan ∅ ⊆ 𝑆 𝐶

- Ambil 𝑥 ∈ 𝑆 ∩ 𝑆 𝐶 , berarti 𝑥 ∈ 𝑆 dan 𝑥 ∈ 𝑆 𝐶 berakibat 𝑥 ∈ ∅. Dengan demikian 𝑆 𝐶 ⊆ ∅
- Karena menurut teorema himpunan kosong merupakan himpunan bagian dari seluruh
himpunan, berarti ∅ ⊆ 𝑆 𝐶
dari kedua uraian diatas dapat disimpulkan bahwa ∅𝑪 = 𝑺

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