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 – 7 : Kalkulus Predikat
Sub CPMK Trampil membuktikan kebenaran pernyataan matematika yang
melibatkan kuantifier
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
DESKRIPSI LEMBAR KERJA
Bacalah dengan cermat dari Buku rujukan di atas tentang Kalkulus Predikat, kemudian
kerjakan contoh dan latihan di bawah ini.
Kalkulus Predikat
Amati dan lengkapi isian dari langkah-langkah penyelesaian di bawah ini dengan
mengkaitkannya terhadap teori yang terdapat pada buku yang disebutkan di atas.

1. Misalkan Q (x, y) menunjukkan pernyataan "x = y + 3". Apakah nilai kebenaran dari
proposisi Q (1, 2) dan Q (3, 0) ?
Jawab:
Untuk mendapatkan Q (1, 2), atur … = 1 dan y = … dalam pernyataan Q (x, y).
Oleh karena itu, Q (1, 2) adalah Pernyataan "… = … + …", yang bernilai …...
Pernyataan Q (3, 0) adalah proposisi "… = … + …", yang bernilai …...
2. Apakah nilai kebenaran ∀xP (x), dimana P (x) adalah pernyataan "x2 < 10" dan
domainnya terdiri dari bilangan bulat positif yang tidak melebihi 4 ?
Jawab:
Pernyataan ∀xP(x) sama dengan konjungsi P(1) ∧ P(2) ∧ P(3) ∧ P(4), karena domainnya
terdiri dari bilangan bulat ……...
Karena P(4), yang merupakan pernyataan "42 < 10," adalah ….., maka ∀xP(x) adalah
…...
3. Apakah nilai kebenaran ∃xP(x), di mana P(x) adalah pernyataan "x2 > 10" dan semesta
Pembicaraan terdiri dari bilangan bulat positif tidak melebihi 4 ?
Jawab:
Karena domainnya adalah {…, …, …, …}, proposisi ∃xP(x) sama dengan disjungsi
….. ∨ ….. ∨ ….. ∨ …...
Karena P(4), yang merupakan pernyataan "42 > 10", adalah ….., maka ∃xP (x) adalah
…...
4. Apakah negasi dari pernyataan ∀x (x2> x) dan ∃x (x2 = 2) ?
Jawab:
Negasi ∀x (x2 > x) adalah pernyataan ¬∀x (…..), yang ekivalen dengan ∃x¬ (…..).
Ini dapat ditulis ulang sebagai ∃x (…..).
Negasinya ∃x (x2 = 2) adalah pernyataan …..…, yang ekuivalen dengan ….......
 Pernyataan ini dapat ditulis ulang sebagai ……..
Nilai kebenaran dari pernyataan ini ……………….

Bahan Diskusi
Setelah mencermati materi Kalkulus predikat serta melengkapi isian di atas, kerjakan Soal
berikut sesuai petunjuk dan arahan Dosen.
Kelompok 1: Soal no. 5 Kelompok 2: Soal no. 4 Kelompok 3: Soal no. 3
Kelompok 4: Soal no. 2 Kelompok 5: Soal no. 1
1. Misalkan P (x) menunjukkan pernyataan "x ≤ 4". Tentukan Nilai kebenaran predikat ini
a) P (0) b) P (4) c) P (6)
2. Misalkan Q (x, y) menunjukkan pernyataan "x adalah ibukota y". Tentukan nilai
kebenaran predikat berikut ini.
a) Q (Banda Aceh, Aceh) b) Q (Makasar, Sulawesi Selatan)
c) Q (Maluku, Ambon) d) Q (Pontianak, Pontianak)
3. Misalkan P (x) adalah pernyataan "x menghabiskan lebih dari lima jam setiap hari kerja
di kelas", dimana domain untuk x terdiri dari semua mahasiswa. Ekspresikan masing–
masing kuantifikasi ini dalam Bahasa yang umum.
a) ∃xP (x) b) ∀xP (x) c) ∃x ¬P (x) d) ∀x ¬P (x)
4. Misalkan P (x) adalah pernyataan "x bisa berbahasa Manado" dan misalkan Q (x) adalah
pernyataan "x tahu bahasa komputer C++". Ekspresikan masing-masing kalimat berikut ini
dalam istilah P (x), Q (x), kuantifier, dan koneksi logika. Domain untuk kuantifier terdiri
dari semua mahasiswa di jurusan Anda.
a) Ada mahasiswa di jurusan kamu yang bisa berbahasa Manado dan tahu bahasa C++.
b) Ada mahasiswa di jurusan kamu yang bisa berbahasa Manado tapi tidak tahu C++.
c) Setiap mahasiswa di jurusan kamu bisa berbahasa Manado atau tahu bahasa C++.
d) Tidak ada mahasiswa di jurusan kamu yang bisa berbahasa Manado atau tahu C++.
5. Anggaplah bahwa domain fungsi proposisional P (x) terdiri dari bilangan bulat 0, 1, 2, 3,
dan 4. Tulis kembali masing-masing proposisi ini dengan menggunakan disjungsi,
konjungsi, dan negasi.
a) ∃xP (x) b) ∀xP (x) c) ∃x¬P (x)
d) ∀x¬P (x) e) ¬∃xP (x) f) ¬∀xP (x)