Pengguna:Hadithfajri/Himpunan: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Hadithfajri (bicara | kontrib)
Hadithfajri (bicara | kontrib)
Tidak ada ringkasan suntingan
Baris 44:
: <math>P = \{ p\, |\, p \mbox { adalah orang yang pernah menjabat sebagai Presiden RI} \}</math>
== Kesamaan dua himpunan ==
Himpunan didefinisikan berdasar objek-objek yang termasuk di dalamnya. Dua himpunan bisa saja sama walau disajikan dengan cara yang berbeda<ref name=":1">{{Cite book|last=Rinaldi Munir|date=2010|title=Matematika Diskrit|location=Bandung|publisher=Informatika Bandung|url-status=live}}</ref>, seperti urutan anggotanya tidak sama atau dua himpunan itu dinyatakan dengan penggambaran yang berbeda. Himpunan ''<math>A</math>'' dan ''<math>B</math>'' disebut ''[[Kesamaan|sama]]'', jika keduanya memiliki anggota yang sama<ref>{{Cite book|last=Julan Hernadi|date=2021|title=Fondasi Matematika & Metode Pembuktian|location=Ponorogo|publisher=UMPO Press|url-status=live}}</ref>, dengan kata lain: setiap anggota ''<math>A</math>'' adalah anggota ''<math>B</math>'' dan sebaliknya, setiap anggota ''<math>B</math>'' adalah anggota ''<math>A</math>''.
: <math>A = B \equiv \forall_x\; x \in {\displaystyle A} \leftrightarrow x \in B</math>.
Prinsip kesamaan dua himpunan setelah keduanya "dibuka seluas-luasnya" sehingga tampaklah semua anggotanya seperti ini sering dirumuskan sebagai [[aksioma perluasan]]<ref name=":0" />.
Baris 165:
|[[Berkas:Venn0110.svg|thumb|Beda setangkup himpunan ''<math>A</math>'' dan ''B''.|200x200px]]
|}
 
== Aljabar himpunan ==
Operasi antara dua himpunan atau lebih akan mematuhi berbagai hukum yang merupakan identitas. Beberapa hukum operasi himpunan ini mirip dengan hukum yang berlaku pada operasi bilangan riil. Sehingga hukum-hukum ini juga disebut '''hukum aljabar himpunan'''<ref name=":1">{{Cite book|last=Rinaldi Munir|date=2010|title=Matematika Diskrit|location=Bandung|publisher=Informatika Bandung|url-status=live}}</ref>'''.'''
# Hukum komutatif
#* p ∩ q ≡ q ∩ p
#* p ∪ q ≡ q ∪ p
# Hukum asosiatif
#* (p ∩ q) ∩ r ≡ p ∩ (q ∩ r)
#* (p ∪ q) ∪ r ≡ p ∪ (q ∪ r)
# Hukum distributif
#* p ∩ (q ∪ r) ≡ (p ∩ q) ∪ (p ∩ r)
#* p ∪ (q ∩ r) ≡ (p ∪ q) ∩ (p ∪ r)
# Hukum identitas
#* p ∩ S ≡ p
#* p ∪ ∅ ≡ p
# Hukum ikatan
#* p ∩ ∅ ≡ ∅
#* p ∪ S ≡ S
# Hukum negasi
#* p ∩ p' ≡ ∅
#* p ∪ p' ≡ S
# Hukum negasi ganda
#* (p')' ≡ p
# Hukum idempotent
#* p ∩ p ≡ p
#* p ∪ p ≡ p
# Hukum De Morgan
#* (p ∩ q)' ≡ p' ∪ q'
#* (p ∪ q)' ≡ p' ∩ q'
# Hukum penyerapan
#* p ∩ (p ∪ q) ≡ p
#* p ∪ (p ∩ q) ≡ p
# Negasi S dan ∅
#* S' ≡ ∅
#* ∅' ≡ S
 
<!--