LOGIKA KUANTOR

Kuantor Gabungan
WEEK 12 – LOGIKA DASAR MATEMATIKA
MEI RINA HADI _TMT_UIN SATU_GAN21/22
  KUANTOR GABUNGAN
MENU  TEOREMA-TEOREMA TERKAIT KUANTOR GABUNGAN
 TRANSLASI DARI BENTUK KALIMAT KE SIMBOLIK DAN SEBALIKNYA

MEI RINA HADI_TMT_UIN SATU_GAN21/22 2

Ilustrasi

∀𝒙 ∃𝒚 𝒑 𝒙, 𝒚 ∃𝒙 ∀𝒚 𝒑 𝒙, 𝒚

Untuk setiap 𝑥 ada 𝑦 sedemikian Ada 𝑥 untuk setiap 𝑦 sedemikian

hingga berlaku 𝑝(𝑥, 𝑦) hingga berlaku 𝑝(𝑥, 𝑦)

MEI RINA HADI_TMT_UIN SATU_GAN21/22 3

 Misal 𝒑 𝒙, 𝒚 : 𝒚 adalah ibu kandung dari 𝒙, dengan semestanya adalah
himpunan semua manusia di bumi.
1. ∀𝑥 ∃𝑦 𝑝 𝑥, 𝑦
Berarti: untuk setiap orang x, terdapat seorang y sedemikian hingga y
adalah ibu kandung dari x. Dengan kata lain, setiap orang mempunyai ibu.
BENAR
2. ∃𝑥 ∀𝑦 𝑝 𝑥, 𝑦
Berarti: terdapat seorang x sehingga untuk setiap y, y adalah ibu kandung
dari x. Dengan kata lain, ada seseorang yang merupakan anak dari semua
ibu dunia. (1) (2)
SALAH
3. ∀𝑦 ∃𝑥 𝑝 𝑥, 𝑦
Berarti: untuk setiap orang y, terdapat seorang x sedemikian hingga y
adalah ibu kandung dari x. Dengan kata lain, setiap ibu mempunyai anak.
SALAH ?
4. ∃𝑦 ∀𝑥 𝑝 𝑥, 𝑦
Berarti: terdapat seorang y sehingga untuk setiap x, y adalah ibu kandung
dari x. Dengan kata lain, ada seseorang yang merupakan ibu kandung dari
semua orang di dunia.
SALAH (3) (4)

MEI RINA HADI_TMT_UIN SATU_GAN21/22 4

  Perhatikan contoh berikut
 Misal 𝑝 𝑥, 𝑦 : seorang 𝑥 menyukai buah 𝑦. (Semesta 𝑥 adalah
himpunan seluruh penduduk Indonesia, semesta 𝑦 adalah
himpunan semua jenis buah yang ada di Indonesia).
1. ∀𝑥 ∀𝑦 𝑝 𝑥, 𝑦
2. ∀𝑦 ∀𝑥 𝑝 𝑥, 𝑦
KUANTOR
3. ∀𝑥 ∃𝑦 𝑝 𝑥, 𝑦
GABUNGAN 4. ∃𝑥 ∀𝑦 𝑝 𝑥, 𝑦
5. ∀𝑦 ∃𝑥 𝑝 𝑥, 𝑦
6. ∃𝑦 ∀𝑥 𝑝 𝑥, 𝑦
7. ∃𝑥 ∃𝑦 𝑝 𝑥, 𝑦
8. ∃𝑦 ∃𝑥 𝑝 𝑥, 𝑦

MEI RINA HADI_TMT_IAINTA_GAN20/21 5

 ∀𝑥 ∀𝑦 𝑝 𝑥, 𝑦 ∀𝑦 ∀𝑥 𝑝 𝑥, 𝑦
Setiap • orang P1 ditanya, “Apa anda suka semua jenis buah?” Masing-masing • buah A1, ditanyakan ke semua orang
orang • orang P2 ditanya, “Apa anda suka semua jenis buah?” jenis buah • buah A2, ditanyakan ke semua orang
ditanya • orang P3 ditanya, “Apa anda suka semua jenis buah?” ditanyakan kepada • buah A3, ditanyakan ke semua orang
• Dst sampai semua orang sudah ditanya, jika semua “ya”, semua orang • Dst sampai seluruh buah sudah dicek, jika
maka disimpulkan benar. semua “ya”, maka disimpulkan benar

∀𝑥 ∃𝑦 𝑝 𝑥, 𝑦 ∀𝑦 ∃𝑥 𝑝 𝑥, 𝑦
Setiap • orang P1 ditanya, “Apa anda suka buah?” Masing-masing • buah A1, ditanyakan ke satu (atau lebih) orang
orang • orang P2 ditanya, “Apa anda suka buah?” jenis buah • buah A2, ditanyakan ke satu (atau lebih) orang
ditanya • orang P3 ditanya, “Apa anda suka buah?” ditanyakan kepada • buah A3, ditanyakan ke satu (atau lebih) orang
• Dst sampai semua orang sudah ditanya, jika semua “ya”, satu (atau lebih) • Dst sampai seluruh buah sudah dicek, jika
maka disimpulkan benar. orang semua “ya”, maka disimpulkan benar

∃𝑥 ∀𝑦 𝑝 𝑥, 𝑦 ∃𝑦 ∀𝑥 𝑝 𝑥, 𝑦
Satu • orang P1 ditanya, “Apa anda suka semua jenis buah?”, Satu (atau lebih) • buah A1, ditanyakan ke semua orang, jika ada
(atau jika ia menjawab tidak (ada buah yang tida disukai), buah ditanyakan yang tidak suka, ganti ke buah A2
lebih) ganti ke orang P2 ke semua orang • buah A2, ditanyakan ke semua orang
orang • orang P2 ditanya, “Apa anda suka semua jenis buah?”, • Dst sampai ada 1 nama buah yang disukai oleh
ditanya • Dst sampai ada 1 orang yang menyukai semua jenis semua orang, maka disimpukan benar
buah (buah apapun), maka disimpulkan benar
∃𝑦 ∃𝑥 𝑝 𝑥, 𝑦
∃𝑥 ∃𝑦 𝑝 𝑥, 𝑦
Satu (atau lebih) buah A1, ditanyakan ke satu (atau lebih) orang,
Satu (atau orang P1 ditanya, “Apa anda suka buah?”, jika ia buah ditanyakan jika ada 1 saja yang menjawab suka, maka
lebih) orang menyukai buah (meskipun hanya 1 jenis buah), maka ke satu (atau disimpulkan benar.
ditanya disimpulkan benar lebih) orang
MEI RINA HADI_TMT_UIN SATU_GAN21/22 6
  Teorema di atas menyatakan bahwa, kedua kalimat di atas tidak
ekuivalen.
Teorema 1  Kalimat ∃𝑦 ∀𝑥 𝑝(𝑥, 𝑦) lebih kuat daripada kalimat
∀𝑥 ∃𝑦 𝑝(𝑥, 𝑦). (ingat sifat operator implikasi)
 Perhatikan bahwa urutan kuantor sangat menentukan. Contoh:
 ∀𝑤 ∃𝑥 ∀𝑦 ∀𝑧 𝑝(𝑤, 𝑥, 𝑦, 𝑧) lebih kuat daripada
∀𝑤 ∀𝑦 ∃𝑥 ∀𝑧 𝑝(𝑤, 𝑥, 𝑦, 𝑧)

MEI RINA HADI_TMT_UIN SATU_GAN21/22 7

Teorema 2
 Teorema di atas menyatakan bahwa:
 Kalimat yang memiliki 2 kuantor yang sama, ekuivalen satu
sama lain meskipun posisinya ditukar.
 Kalimat (∀𝑥)(∀𝑦)𝑝(𝑥, 𝑦) lebih kuat daripada kalimat
∃𝑥 ∃𝑦 𝑝(𝑥, 𝑦).

MEI RINA HADI_TMT_UIN SATU_GAN21/22 8

Teorema 3

 Teorema di atas menyajikan aturan negasi dari kalimat yang

mengandung kuantor gabungan.

MEI RINA HADI_TMT_UIN SATU_GAN21/22 9

  Terdapat beberapa kesulitan yang mungkin terjadi saat mengubah
bentuk simbolik predikat berkuantor menjadi kalimat yang
bermakna dalam Bahasa Indonesia. Morash menyebutkan 3 saran
yang dapat digunakan dalam mentranslasikan bentuk simbolik ke
kalimat, yakni:
 Tambahkan “dan” di antara 2 kuantor yang sama
Translasi  Untuk kuantor ∀𝑥 yang diikuti oleh ∃𝑦, lebih baik dibaca “untuk
setiap 𝑥, terdapat minimal satu 𝑦” daripada “untuk setiap 𝑥, ada
Simbolik ke suatu 𝑦”
 Untuk kuantor ∃ yang langsung diikuti oleh kuantor ∀ atau predikat,
Kalimat dan tambahkan “sedemikian hingga/sehingga” atau “yang memiliki
sifat/yang memenuhi…”.
sebaliknya  Sehingga untuk predikat berkuantor di bawah ini dapat
diterjemahkan sebagai:
 ∀𝑥 ∃𝑦 ∀𝑧 𝑝(𝑥, 𝑦, 𝑧) “untuk setiap 𝑥, terdapat minimal satu 𝑦,
sedemikian hingga untuk setiap 𝑧, berlaku 𝑝(𝑥, 𝑦, 𝑧)
 ∃𝑣 ∃𝑤 ∀𝑥 ∀𝑦 ∃𝑧 𝑝(𝑣, 𝑤, 𝑥, 𝑦, 𝑧) “ada 𝑣 dan 𝑤 yang memiliki
sifat untuk setiap 𝑥 dan 𝑦, terdapat minimal satu 𝑧 sedemikian
hingga berlaku 𝑝(𝑣, 𝑤, 𝑥, 𝑦, 𝑧)”.

MEI RINA HADI_TMT_UIN SATU_GAN21/22 10

 Perhatikan predikat berkuantor berikut ini.
1) ∀𝑥 ∈ ℕ ∃𝑦 ∈ ℕ 𝑦 > 𝑥
2) ∃𝑥 ∈ ℕ ∀𝑦 ∈ ℕ 𝑦 > 𝑥
3) ∀𝑥 ∈ ℝ ∃𝑦 ∈ ℕ 𝑥 + 𝑦 = 0
4) ∃𝑥 ∈ ℕ ∀𝑦 ∈ ℤ 𝑥 − 𝑦 = 0
5) ∀𝑥 ∈ ℕ ∃𝑦 ∈ ℤ 𝑥 − 𝑦 = 0
Latihan 6) ∀𝑥 ∈ ℝ ∃𝑦 ∈ ℤ 𝑥 + 𝑦 = 0
Mandiri 7) ∀𝑥, 𝑦 ∈ ℝ 𝑥 2 + 𝑦 2 ≥ 0
8) ∀𝑥, 𝑦 ∈ ℕ ∃𝑧 ∈ ℝ 𝑥 + 𝑦 > 𝑧
9) ∃𝑥 ∈ ℝ ∀𝑦 ∈ ℝ (𝑥𝑦 = 𝑥)
10) ∃𝑦 ∈ ℝ ∀𝑥 ≠ 0 ∈ ℝ (𝑥𝑦 = 1)
a) Tuliskan bentuk kalimat masing-masing predikat berkuantor
di atas
b) Tentukan nilai kebenaran masing-masing predikat
berkuantor di atas
MEI RINA HADI_TMT_UIN SATU_GAN21/22 11
 Tuliskan bentuk simbolik dari kalimat berikut ini. (Petunjuk:
tuliskan lengkap dengan himpunan semestanya seperti yang
dicontohkan di slide sebelumnya). Kemudian, tentukan nilai
kebenarannya.
1. Ada bilangan asli terkecil
Latihan
2. Tidak ada bilangan rasional terkecil
Mandiri 3. Setiap bilangan real memiliki akar kuadrat positif
4. Terdapat suatu bilangan rasional terkecil yang kuadratnya lebih
besar dari 2.
5. Ada suatu bilangan rasiona di antara 2 bilangan irasional

MEI RINA HADI_TMT_UIN SATU_GAN21/22 12

TERIMA KASIH
SELAMAT MEMPERSIAPKAN DIRI UNTUK KUIS 2

MEI RINA HADI_TMT_UIN SATU_GAN21/22 13