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 – 4 : Ke-tak Terhingga-an Himpunan
Sub CPMK Trampil membuktikan teorema ke-tak terhingga-an suatu himpunan
DAFTAR RUJUKAN
Lubis, Asrin. (2019). Himpunan dan Logika. Serang, Banten : Desanta Muliavisitama.
O’Leary, Micgael L. (2016). A First Course in Mathematical Logic and Set Theory. New
Jersey : John Wiley & Son
Soehakso, RMJT, 1971, Pengantar Matematika Modern, Yokyakarta : FMIPA UGM
Stoll, Robert R. 1998. Set Theory and Logic. New Delhi: Eurasia Publishing House (PVT)
Ltd
DESKRIPSI LEMBAR KERJA
Bacalah dengan cermat dari Buku rujukan di atas tentang Keta hinggan Himpunan, kemudian
kerjakan contoh dan latihan di bawah ini.
Ke-Tak Terhinggan Himpunan
Amati dan lengkapi isian dari langkah-langkah penyelesaian di bawah ini dengan
mengkaitkannya terhadap teori yang terdapat pada buku yang disebutkan di atas.

1. Tunjukkan bahwa himpunan bilangan bulat positif ganjil adalah Himpunan konntabel.
Jawab:
Untuk menunjukkan bahwa himpunan bilangan bulat positif ganjil adalah kontabel,
ditunjukkan korespondensi satu-ke-satu antara himpunan ini dan himpunan bilangan
bulat positif. Perhatikan fungsi f (n) = 2n - 1 dari Z + ke himpunan bilangan bulat ganjil.
Tunjukkan bahwa f berkorespondensi satu–satu dengan menunjukkan bahwa f itu
berkorespondensi satu–satu dan onto. Untuk melihat bahwa f berkorespondensi satu–satu,
misalkan f (n) = f (m). Kemudian 2n - 1 = 2m - 1, sehingga n = m. Untuk melihat bahwa f
itu adalah onto, misalkan t adalah bilangan bulat positif ganjil. Maka t adalah 1 kurang
dari bilangan bulat genap 2k, di mana k adalah bilangan asli.
Oleh karena itu t = 2k – 1 = f (k). Tampilan berkorespondensi satu–satu diperlihatkan
pada Gambar 1.10.
2. Kuasa Himpunan P (A) dari setiap himpunan acak A memiliki kardinalitas lebih besar
dari A, yaitu A < P (A) dan karenanya |A| < | P (A) |.
Bukti:
Fungsi g: A → P (A) yang mengirimkan setiap elemen a  A ke dalam himpunan tunggal
{a}, yaitu g (a) = {a}, adalah berkorespondensi satu-satu; Karenanya A ≤ P (A).
Jika ditunjukkan bahwa A tidak ekivalen dengan P (A), maka teorema akan berarti.
Misalkan sebaliknya, misalkan ada terdapat fungsi f: A → P (A) yang berkorespondensi
satu-satu dan onto. Panggil a  A sebagai elemen "buruk". Jika a bukan anggota
himpunan gagasan itu, yaitu jika a ∉ f(a).
Misalkan B adalah himpunan elemen "buruk", yaitu, B = {x: x  A, x ∉ f (x)}
Amati bahwa B adalah sub himpunan dari A, yaitu B  P (A). Karena f: A → P (A)
adalah onto, ada terdapat elemen b  A dengan sifat bahwa f (b) = B.
 Pertanyaan: Apakah b "buruk" atau "baik" ? Jika b  B maka, dengan definisi B, b ∉ f (b)
- B yang merupakan kontradiksi. Demikian juga, jika b ∉ B, maka b  f (b) – B yang
juga kontradiksi. Jadi asumsi awal, bahwa A  P(A), telah menyebabkan kontradiksi.
Dengan demikian A  P (A) salah, dan teorema itu benar.

Bahan Diskusi
Setelah mencermati materi Ketakhinggan Himpunan dan melengkapi isian 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. Tentukan apakah masing-masing himpunan ini terhingga, kontabel, tak terhingga, atau
unkontabel. Bagi himpunan yang tak terhingga kontabel, tunjukkan korespondensi satu-
satu antara himpunan bilangan bulat positif dan himpunan tersebut.
a) bilangan bulat negatif b) bilangan bulat genap
1
c) bilangan bulat kurang dari 100 d) bilangan real antara 0 dan 2
e) bilangan bulat positif kurang dari 1.000.000.000
f) bilangan bulat yang merupakan kelipatan dari 7
2. Tentukan apakah masing-masing himpunan ini kontabel atau unkontabel. Bagi himpunan
yang tak terhingga kontabel, tunjukkan korespondensi satu-satu antara himpunan
bilangan bulat positif dan himpunan tersebut.
a) semua string bit tidak mengandung bit 0
b) semua bilangan rasional positif yang tidak dapat ditulis dengan penyebut kurang dari
4
c) bilangan real tidak mengandung 0 dalam representasi desimalnya
d) bilangan real yang mengandung hanya bilangan 1 yang terhingga dalam representasi
desimalnya
3. Tunjukkan bahwa kelompok terhingga tamu yang tiba di Hotel Grand Hilbert terisi penuh
dapat diberikan kamar tanpa menggusur setiap tamu sudah ada.
4. Misalkan Hotel Grand Hilbert terisi penuh, tapi hotel menutup semua kamar dengan
nomor genap untuk pemeliharaan. Tunjukkan bahwa semua tamu dapat tetap menginap di
hotel.
5. Tunjukkan bahwa tamu tak terhingga kontabel yang tiba di Hotel Grand Hilbert yang
terisi penuh dapat diberikan kamar tanpa menggusur setiap tamu sudah ada.