Tugas Kelompok

Dosen: Sri Purwani

Logika Matematika 12 April 2021
Latihan 6: Predikat dan Kuantifikasi 1
Dikumpulkan kepada koordinator, paling lambat hari Rabu 14 April 2021

1. Misalkan 𝑃𝑃 (𝑥𝑥 ) menyatakan pernyataan "𝑥𝑥 ≤ 4". Apakah nilai kebenaran?

a. 𝑃𝑃(0) b. 𝑃𝑃 (4) c. 𝑃𝑃 (6)
2. Misalkan 𝑃𝑃 (𝑥𝑥 ) pernyataan “kata x mengandung huruf a.” Apakah nilai kebenaran?
a. P (orange) b. P (lemon)
b. P (true) c. P (false)
3. Misalkan Q(x , y) menyatakan pernyataan "x adalah ibu kota dari y ." Apakah nilai kebenaran?
a. Q(Semarang, Jawa Tengah)
b. Q(Kupang, Nusa Tenggara Barat)
c. Q(Bukit Tinggi, Sumatera Barat)
4. Misalkan Q(x) pernyataan “ x pernah mengunjungi Padang,” di mana domain terdiri dari mahasiswa di kelasmu.
Nyatakan masing-masing kuantifikasi ini dalam bahasa Indonesia.
a. ∃𝑥𝑥 𝑁𝑁(𝑥𝑥 ) d. ∃𝑥𝑥 ~𝑁𝑁(𝑥𝑥 )
b. ∀𝑥𝑥 𝑁𝑁 𝑥𝑥 ( ) e. ~∀𝑥𝑥 𝑁𝑁(𝑥𝑥 )
c. ~∃𝑥𝑥 𝑁𝑁(𝑥𝑥 ) f. ∀𝑥𝑥 ~𝑁𝑁(𝑥𝑥 )
5. Misalkan Q (x) pernyataan "x + 1 > 2x ." Jika domainnya terdiri dari semua bilangan bulat, Apakah nilai kebenaran?
a. Q (0) d. ∀𝑥𝑥 𝑄𝑄(𝑥𝑥 ) g. ∃𝑥𝑥 ~𝑄𝑄(𝑥𝑥 )
b. Q(- I ) (
e. ∃𝑥𝑥 𝑄𝑄 𝑥𝑥 )
c. Q ( l ) f. ∀𝑥𝑥 ~𝑄𝑄(𝑥𝑥 )
6. Andaikan bahwa domain dari fungsi proposisi N (x) terdiri dari bilangan bulat 0, 1 , 2, 3, dan 4. Tulis masing-masing proposisi
ini menggunakan disjungsi, konjungsi,
a. ∃𝑥𝑥 𝑁𝑁(𝑥𝑥 ) d. ∃𝑥𝑥 ~𝑁𝑁(𝑥𝑥 )
b. ∀𝑥𝑥 𝑁𝑁(𝑥𝑥 ) e. ~∀𝑥𝑥 𝑁𝑁(𝑥𝑥 )
c. ~∃𝑥𝑥 𝑁𝑁 𝑥𝑥 ( ) f. ∀𝑥𝑥 ~𝑁𝑁(𝑥𝑥 )
7. Cari counterexample, jika mungkin, pada pernyataan yang dikuantifikasi secara universal, di mana domain untuk semua
variable terdiri dari semua bilangan bulat.
a. ∀𝑥𝑥 (𝑥𝑥 2 ≥ 𝑥𝑥 )
b. ∀𝑥𝑥 (𝑥𝑥 > 0 ∨ 𝑥𝑥 < 0)
c. ∀𝑥𝑥 (𝑥𝑥 = 1)

Catatan: Untuk perkuliahan Minggu ke-6, baca buku referensi utama Discrete Mathematics and Its Applications, Sixth
Edition, Kenneth H. Rosen,
Materi: Logical equivalences dan Rules of inference
Section: 1.3 dan 1.5
Halaman: 38 dan 63