Kuantor Bersarang

1. Setiap mahasiswa berpikir bahwa beberapa mata kuliah sulit

2. Beberapa mata kuliah sulit bagi setiap mahasiswa
Misalkan:
x adalah variabel yang menyatakan seorang mahasiswa
y adalah variabel yang menyatakan suatu mata kuliah
P(x,y) adalah fungsi proposisi yang menyatakan “x berpikir mata kuliah
y sulit.
3. ∀x∃y P(x,y)
4. ∃x∀y P(x,y)
Kebenaran dari kuantor bersarang
Contoh
Pembahasan
2

3
Beberapa Ekuivalensi dan Konsekuensi logis
Negasi Kuantor Universal
Akan ditunjukan bahwa
¬∀x P(x)≡∃x ¬P(x)
Langkah pembuktian:
1. ¬∀x P(x) bernilai benar jika dan hanya jika ∀x P(x) bernilai salah
2. ∀x P(x) bernilai salah jika dan hanya jika ada x sehingga (P(x)
bernilai salah)
3. ada x sehingga (P(x) bernilai salah) jika dan hanya ∃x ¬P(x) bernilai
benar
Jadi, ¬∀x P(x)≡∃x ¬P(x)
Negasi Kuantor Eksistensial
¬∃x P(x)≡∀x ¬P(x)
Contoh:
Ada mahasiswa yang berpikir mata kuliah logika matematika sulit.

Negasinya:
Semua mahasiswa berpikir mata kuliah logika matematika tidak sulit.
Subtitusi
Contoh
Interpretasi
• Suatu formula logika predikat dikatakan sebagai formula tertutup bila
seluruh variabel yang terdapat pada formula tersebut adalah variabel
terikat.
• Interpretasi dari suatu formula logika predikat adalah pemberian nilai
kebenaran terhadap formula tersebut.
• Berbeda dengan formula pada logika proposisi, interpretasi formula
logika predikat juga ditentukan oleh domain atau semesta
pembicaraan yang ditinjau.
• Interpretasi atau nilai kebenaran untuk formula logika predikat hanya
terdefinisi untuk formula tertutup saja.
Notasi Interpretasi
Aturan Semantik
Latihan
Validitas
Sebuah kalimat A dikatakan valid/absah/tautologi jika kalimat tersebut
bernilai TRUE berdasarkan setiap interpretasi untuk A
Contoh
Latihan
•Buktikan
  bahwa ∀x(P(x)Q(x)) ∀xP(x) ∀x Q(x)