LOGIKA

LOGIKA DAN
DAN
TEORI
TEORI
HIMPUNAN
HIMPUNAN

Himpunan

Silviyatus Yulianti (210601110010)

 Pengertian dan Notasi Himpunan
Definisi
1.  

Himpunan () adalah kumpulan dari obyek-obyek yang berbeda.

Obyek-obyek ini disebut atau dari himpunan.
Biasanya himpunan diberi notasi menggunakan huruf besar (kapital), seperti
dan elemen atau anggota himpunan disajikan dengan huruf-huruf kecil.
Jika adalah himpunan dan adalah elemen dari maka ditulis . Simbol dibaca
“elemen dari” atau “anggota dari” atau “termasuk”. Untuk menunjukkan bahwa
bukan elemen dari ditulis .
 Penulisan Himpunan
Secara umum, ada dua cara yang baku untuk menuliskan sebuah himpunan:

(a) Cara mendaftar, yaitu menuliskan elemen-elemen himpunan di dalam kurung kurawal . Sebagai contoh, jika adalah
himpunan terdiri dari lima bilangan bulat positifpertama, maka kita tulis . Dalam hal ini, tetapi .
(b) Cara merumuskan, yaitu mendeskripsikan dengan aturan atau predikat anggota yang harus dipenuhi. Jika adalah
predikat " adalah lima bilangan bulat positif pertama", maka himpunan di atas dapat ditulis sebagai atau Tanda garis
tegak dalam himpunan dibaca "sedemikian hingga". Notasi dibaca "himpunan dari semua sedemikian hingga ".
 Notasi (x 1≤x≤5) belum cukup mendeskripsikan sebuah himpunan A jika elemen-clemen tidak diasumsikan sebagai bilangan-
bilangan bulat. Oleh karena itu, kita perlu menspesifikasi sebuah semesta atau semesta pembicaraan, yang biasanya dinotasi
dengan U. Selanjutnya kita hanya memilih elemen-elemen dari untuk membentuk himpunan. Jika U adalah himpunan dari
semua bilangan bulat atau himpunan dari semua bilangan bulat positif, maka {x| 1≤x≤ 5) cukup mendeskripsikan A. Jika U
adalah himpunan dari semua bilangan riil, maka {x| 1≤ x ≤ 5) terdiri dari semua bilangan riil antara 1 dan 5 (inklusif); jika U
adalah hanya terdiri dari bilangan bulat, maka anggota dari {x| 1≤ x ≤ 5) hanyalah 2 dan 4.
 Contoh Penulisan Himpunan

Misalkan U = {1, 2, 3,...} himpunan bilangan-bilangan asli.

(a) adalah himpunan bilangan asli yang kuadratnya lebih kecil dari .
(b) adalah himpunan bilangan bulat positif lebih kecil dari dan habis dibagi .
atau
 
.
(c) adalah himpunan bilangan-bilangan asli genap.
atau
.
 Lanjutan Penulisan Himpunan

Cara lain untuk mendeskripsikan sebuah himpunan adalah dengan memberikan sebuah
prosedur untuk membangkitkan anggota dari himpunan. Sebagai contoh adalah dengan definisi
rekursif (induktif). Dalam penyajian ini, pertama, elemen dasar dari himpunan diberikan.
Kemudian sebuah metode diberikan untuk membangkitkan elemen-elemen himpunan dari
elemen-elemen yang diketahui. Ketiga, sebuah pernyataan diberikan yang meniadakan elemen-
elemen yang tidak diinginkan dari himpunan.
 Lanjutan
Definisi  
Sebuah himpunan yang tidak mempunyai anggota Contoh
disebut himpunan kosong () atau himpunan hampa (a)
().
  (b) .Perhatikan bahwa dan adalah himpunan yang berbeda.
Himpunan kosong, dilambangkan dengan atau adalah himpunan dengan satu anggota . Tetapi tidak mempunyai anggota.
himpunan yang memenuhi .

 Definisi  
Himpunan universal dilambangkan dengan adalah himpunan
Sebuah himpunan yang mempunyai semua elemen di
yang memenuhi
dalam semesta pembicaraan disebut himpunan
.
universal (universal set).
 Himpunan Bilangan-bilangan
(a)1.himpunan
 
(b) himpunan
(c) himpunan
(d) himpunan
(e) himpunan
(f) himpunan
(g) himpunan .
(h) himpunan
(I) = himpunan
(j) himpunan
(k) himpunan
(l) Untuk setiap bilangan-bilangan riil dengan , intervaltutup , interval buka dan interval setengah-buka dan .
(m) Untuk sebarang
 Himpunan Bagian dan Kardinalitas Himpunan

1. Himpunan Bagian
Definisi
Sebuah himpunan merupakan bagian() dari himpunan jika dan hanya jika setiap elemen
dalam juga dalam .
Jadi, untuk sebarang himpunan-himpunan dan , himpunan bagian dari , dilambangkan dengan
jika dan hanya jika .
  Notasi , juga dibaca:
(i) Himpunan termuat dalam himpunan .
(ii) Himpunan memuat himpunan .
Untuk menunjukkan hubungan antara himpunan-himpunan dapat digunakan sebuah .
Diagram Venn dapat dikonstruksi sebagai berikut: Semesta dilukiskan sebagai interior dari
empat persegi panjang, sedangkan subset-subset dari disajikan dengan interior lingkaran dan
kurva-kurva tertutup yang lain. Gambar melukiskan diagram Venn .
 𝑈 
𝐵 
𝐴 

Gambar
 
 Contoh
●   , dan .Dalam hal ini, .
Misalkan
Diagram Venn dari Contoh dilukiskan dengan diagram Venn (Gambar 6.2).
Dalam menentukan apakah suatu himpunan merupakan himpunan
 𝑈 bagian dari himpunan , kita tidak perlu memeriksa kedudukan elemen-
 𝐴 1  𝐵 elemen himpunan terhadap himpunan . Yang harus diperhatikan adalah
3 2
hanyalah bahwa setiap elemen harus merupakan elemen himpunan .
4 5
Dari definisi himpunan bagian (Definisi ), diperoleh himpunan
bukan himpunan bagian dari himpunan , ditulis jika dan hanya jika ada
elemen dari yang bukan elemen dari .
 Lanjutan

Definisi
Dua himpunan dan adalah sama jika dan hanya jika dan
 mempunyai elemen-elemen yang sama.
Jadi, dua himpunan dan dikatakan sama ( jika dan hanya jika .
Dengan perkataan lain, dan

 
Contoh
dan .

Dalam hal ini, urutan elemen-elemen tidak menjadi soal.

 Kardinalitas Himpunan
 
Definisi 6
Jika himpunan mempunyai elemen
berbeda untuk suatu bilangan asli ,
makan dinamakan kardinalitas () dari
Contoh
Kardinalitas dari dilambangkan
(a)
●   .
dengan
(b)
Jadi, untuk himpunan berhingga . Jika
(c)
mempunyai tak hingga elemen , maka .
Himpunan yang hanya mempunyai satu
elemen disebut .
Definisi
Koleksi (himpunan) dari semua himpunan bagian dari disebut himpunan kuasa
() dari dan dilambangkan dengan atau .
Contoh
(a)
.
 
(b)

Himpunan kosong merupakan himpunan bagian dari setiap himpunan.

Teorema
 
Untuk sembarang himpunan , banyaknya himpunan-
himpunan bagian dari adalah . Jadi, .
 Berpikir Matematis

Teori-teori
  matematika dikonstruksi mulai dengan suatu asumsi-asumsi dasar, yang disebut ,
seperti “adanya himpunan” dan "obyek-obyek di dalam himpunan." Konsep-konsep yang
didefinisikan sebelumnya seperti "kesamaan himpunan" dan "" dan penyelesaian sifat-sifatnya dan
hubungan antara mereka membentuk teorema seperti "Dua himpunan adalah sama jika dan hanya
jika himpunan yang satu subset dari himpunan yang lain dan sebaliknya." Bukti adalah argumen-
argumen untuk menyelesaikan sifat-sifat dan hubungan tersebut. Pada tingkat bawah argumen-
argumen ini mengikuti kaidah-kaidah inferensi dari logika pernyataan, artinya konklusi dari
teorema yang dibuktikan harus diturunkan dari hipotesis hipotesisnya, aksioma-aksioma, definisi-
definisi dan teorema dibuktikan menggunakan kaidah-kaidah inferensi.
 Teorema
 

Untuk sebarang himpunan ,

Bukti:
Menggunakan definisi dari subset, harus ditunjukkan . Akan ditunjukkan bahwa untuk
sebarang , berlaku sesuai dengan kaidah inferensi "generalisasi universal." Karena adalah
 obyek dari semesta pembicaraan, maka benar untuk sebarang obyek dengan instantiasi
universal. Jadi, adalah benar untuk sebarang obyek (implikasi selalu benar jika benar tanpa
memperhatikan ). Jadi, menggunakan generalisasi universal , menggunakan definisi subset.
Catatan:
Kita katakan adalah benar secara trivial jika qbenar dan jenis bukti ini disebut bukti trivial
(menunjukkan benar untuk tanpa menunjuk kepada ).
 Teorema 3
  Untuk sebarang himpunan
.
Bukti:
Menggunakan definisi dari subset, harus ditunjukkan . Akan ditunjukkan bahwa
untuk sebarang , berlaku selanjutnya menggunakan generalisasi universal.
Karena , maka untuk sebarang , adalah salah dengan instantiasi universal. Jadi ,
adalah benar untuk sebarang (implikasi selalu benar jika salah tanpa
memperhatikan ). Jadi, menggunakan generalisasi universal , (dari definisi subset).
Catatan:
Kita katakan adalah benar secara kosong jika salah dan jenis bukti ini
(menunjukkan salah untuk ) disebut ().
 Bentuk bukti lain untuk Teorema 3

(a) Bukti dengan Kontraposisi

Untuk membuktikan sebarang , , akan dibuktikan.  
Karena benar untuk sebarang , maka benar secara trivial. Jadi, kontrapositifnya juga benar.

 
(b) Bukti dengan Kontradiksi
Untuk membuktikan , diasumsikan . . Di lain pihak, mengimplikasikan Pada hal, untuk sebarang , terjadi kontradiksi.
Jadi, salah. Terbukti, .
 Teorema
 

  B jika dan hanya jika ACB dan BCC.

A=
Bukti:
Menggunakan definisi A = B,

Karena ,maka berarti dan . Jadi, A = B jika dan hanya jika dan .
 Teorema
 

.1.  
Bukti:
dan

Sehingga untuk sebarang di dalam ,

dan berlaku.
Jadi, menggunakan silogisme hipotetik, atau .
 Operasi-operasi Himpunan
  Himpunan-himpunan dapat dikombinasikan dalam sejumlah cara yang berbeda untuk
menghasilkan himpunan yang lain. Terdapat lima operasi dasar yang akan diperkenalkan dan
dibahas sifat-sifatnya.
Definisi
Untuk , gabungan () dari dan , dilambangkan dengan
adalah himpunan yang terdiri dari semua elemen dari atau . Jadi,
.

 𝐴 𝐵
  𝑈
 
 
Contoh
Diketahui ,
dan .
.

𝐴  ∪ 𝐵
 Lanjutan
Definisi
Untuk , irisan () dari dan , dilambangkan dengan
himpunan yang terdiri dari semua elemen yang termasuk
 di dan . Jadi,
.
Dalam Gambar , daerah yang diarsir (ditunjuk anak
panah) melukiskan diagram Venn untuk .

𝑈 
𝐴
  𝐵 
  Contoh
Diketahui ,
dan .
dan .

𝐴  ∩ 𝐵
 Lanjutan
Definisi
Misalkan Himpunan-himpunan dan disebut saling
asing jika .
 
Jadi, dua himpunan yang tidak mempunyai elemen-elemen
persekutuan, seperti himpunan dan dalam Contoh di bawah
adalah saling asing.

 
Contoh
Misalkan Himpunan-himpunan dari semua bilangan
bulat genap dan himpunan dari semua bilangan bulat
ganjil.
Maka . Jadi, himpunan dan adalah saling asing.
 Lanjutan
 
Definisi
Untuk , komplemen () dari , dilambangkan
dengan atau adalah himpunan yang terdiri dari
semua elemen di dan tidak di . Jadi,

𝐴  𝑈 
𝐴´   

Contoh
Diketahui dan , .
 Lanjutan
 Definisi
Untuk , komplemen () dari , dilambangkan dengan atau
adalah himpunan yang terdiri dari semua elemen di dan tidak
di . Jadi,

Dalam gambar di bawah ini, daerah yang diarsir (ditunjuk

anak panah) melukiskan diagram Venn untuk .

𝐴  𝐵  𝑈 

 
Contoh
Diketahui dan , dan .
dan .
Perhatikan bahwa .

 𝐴 − 𝐵
 Lanjutan
Definisi
1.   13
Untuk , , selisih simetrik () dan , dilambangkan dengan atau adalah himpunan yang
terdiri dari semua elemen di atau di tetapi tidak dalam keduanya. Jadi,
.
Selisih simetrik dapat juga ditulis sebagai

atau
.
Gambar dibawah ini, daerah yang diarsir (ditunjuk anak panah) melukiskan diagram
Venn untuk .

 
Contoh
Diketahui , dan 4, 5, 6}
.
 Teorema
 

Misalkan
 
dan saling asing jika dan hanya jika .

   
Misalkan .
Bukti:
Akan ditunjukkan dan .
Misalkan dan saling asing.
Andaikan dan tidak saling asing.
Akan ditunjukkan
Misalkan , berarti dan .
a) Ambil sebarang . Jika , maka atau Karena dan saling asing,
Sehingga dan .
maka Sehingga . Dengan demikian, . Jadi, .
Tetapi, jika dan , maka . Kontradiksi terjadi antara
b) Ambil sebarang . Jika , maka atau . (Tetapi ). Sehingga .Dengan
dan . Jadi, pengandaian salah, terbukti dan saling
demikian, . Jadi,
asing.
 TERIMAKASIH

WASALAMU’ALAIKUM WR.
WB.