LEMBAR KEGIATAN MAHASISWA

MATA KULIAH Himpunan dan Logika

KODE MAT ….. sks 3 SEMESTER 1
DOSEN PENGAMPU Dr. Asrin Lubis, M.Pd
JUDUL LK Pertemuan ke – 15 : Himpunan Terhingga
Sub CPMK Trampil membuktikan keterhinggaan suatu himpunan
DAFTAR RUJUKAN
Lubis, Asrin. (2019). Himpunan dan Logika. Medan: Universitas Negeri Medan
Soehakso, RMJT, 1971, Pengantar Matematika Modern, Yokyakarta : FMIPA UGM
Stoll, Robert R. 1998. Set Theory and Logic. New Delhi: Eurasia Publishing House (PVT)
Ltd
Amati dan lengkapi isian dari langkah-langkah penyelesaian permasalahan di bawah ini
dengan mengkaitkannya terhadap teori yang terdapat pada buku yang disebutkan di atas.

1. Teorema 5.209.: Jika A  B & B  C maka A  C.

Bukti:
Misalkan f adalah fungsi 1 – 1 yang menetapkan bahwa A  B dengan Df = A, dan
misalkan g adalah fungsi korespondensi 1 – 1 untuk menunjukkan bahwa B ≈ C dengan
Dg = B. Maka fungsi g ₀ f adalah 1 – 1, D(g ₀ f) = A, dan R (g ₀ f) = C, darimana A ≈ C.
2. Teorema 5.232.: Jika A adalah terhingga dan B  A, maka B adalah terhingga.
Bukti:
Misalkan K adalah keluarga yang tidak kosong dari himpunan bagian dari B. Karena B 
A, K adalah keluarga yang tidak kosong dari himpunan bagian dari A dan oleh hipotesis
dari Teorema harus memiliki elemen minimal.
3. Teorema 5.261.: m + n = n + m.
Bukti:
Berdasarkan Teorema 5.259 ada beberapa himpunan A dan B sedemikian rupa sehingga
A  B = 0, K(A) = m, dan K(B) = n, dari mana dengan Definisi 5.70., K(A  B) = m +
n, dan K(B  A) = n + m, tetapi A  B = B  A, dari mana m + n = n + m.

4. Teorema 5.290.: Jika m adalah kardinal terhingga maka m1 adalah kardinal terhingga.
Bukti:
Berdasarkan hipotesis, m adalah kardinal terhingga, ada himpunan terhingga A
sedemikian rupa sehingga K(A) = m, dan berdasarkan definisi fungsi pengikut, K(A 
{A}) = m 1
dan hal itu mengikuti dari fakta bahwa A adalah terhingga dan Teorema
5.235. bahwa A  {A} adalah terhingga, dari mana m1 adalah kardinal terhingga.

Bahan Diskusi
Setelah mencermati materi Himpunan Terhingga dan contoh pembuktian di atas, kerjakan
Soal berikut sesuai petunjuk dan arahan Dosen.
Kelompok 1: Soal no. 1 Kelompok 2: Soal no. 2 Kelompok 3: Soal no. 3
Kelompok 4: Soal no. 4 Kelompok 5: Soal no. 5
1. Buktikan Teorema 5.208. : Jika A  B maka B  A.
2. Berikan contoh yang berbeda dari yang ada dalam teks dari keluarga himpunan yang
tidak kosong yang tidak memiliki elemen minimal atau elemen maksimal.
3. Buktikan Teorema 5.262. secara rinci. : (m + n) + p = m + (n + p).
4. Buktikan Teorema 5.293. : Jika m adalah kardinal terhingga maka m < m + 1.
5. Asumsikan bahwa m, n, p, dan q adalah kardinal terhingga, kemudian buktikanlah
bahwa jika m + n = p maka m ≤ p.