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

com

Pembuktian Hukum Identitas (Aljabar Himpunan)

7. Hukum Identitas
a. =
b. =
c. =
d. =
Bukti :

a. Diketahui = jika dan hanya jika dan

- Ambil sebarang , berarti atau . Namun, karena himpunan kosong
() adalah himpunan yang tidak memiliki anggota berarti . Jadi didapat
sehingga
- Ambil sebarang berarti atau . Pernyataan tersebut dapat dibenarkan
karena bernilai benar maka apapun nilai kebenaran dari (benar ataupun
salah) pernyataan tersebut akan selalu bernilai benar karena dihubungkan dengan kata
atau. Sehingga didapat .
Dari kedua uraian diatas, dapat disimpulkan bahwa =

b. Diketahui = jika dan hanya jika dan

- Ambil sebarang berarti dan . Karena berarti . Sehingga
di dapat
- Ambil sebarang , Karena berarti dan . Jadi didapat
Dari kedua uraian diatas, dapat disimpulkan bahwa =

c. Diketahui = jika dan hanya jika dan

- Ambil sebarang berarti dan . Karena berarti . Sehingga
di dapat
- Karena menurut teorema, himpunan kosong () merupakan himpunan bagian seluruh
himpunan maka jelas bahwa .
Dari kedua uraian diatas, dapat disimpulkan bahwa =

d. Diketahui = jika dan hanya jika dan

- Ambil sebarang , berarti atau . Namun, Karena berarti
sehingga didapat
- Ambil sebarang , Karena berarti atau . Sehingga didapat .
Dari kedua uraian diatas, dapat disimpulkan bahwa =

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