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)