PREDICATE LOGIC

Overview…
• Tidak semua masalah di dunia ini bisa diselesaikan dg
proposional logic. Jika masalah di dunia ini hanya masalah-
masalah sederhana padahal di dunia masalah-masalah yang
ada selalu melibatkan objek dan predikat.
• Contoh :
• Di sebuah kelas II SD, terdapat 35 siswa. Setiap hari Senin
sampai dengan Kamis, mereka mengenakan seragam merah-
putih. Sedangkan hari lain, mereka mengenakan seragam
pramuka. Anak tetanggaku yang bernama Amin, ada salah satu
siswa kelas II SD tersebut. Hari Rabu pagi kami bertemu saat dia
berangkat sekolah. Seragam apa yang dia kenakan?
• Solusi : Tuliskan Fakta2nya :
• Misalkan:
• p : amin adalah siswa kelas II SD
q : amin mengenakan seragam merah putih
r : hari rabu
• Kalimat yang bisa kita nyatakan dari cerita tersebut adalah
• 1:pΛr→q
2:p
3:r
• Dengan ekpresi seperti itu, kita sudah bisa menarik kesimpulan
tentang Amin. Tetapi banyak informasi yang tidak dinyatakan dan
terlewatkan. Akibatnya,  ekspresi tersebut tidak bisa digunakan untuk
membuat kesimpulan tentang seragam yang dipakai Ali pada hari
Rabu jika diketahui bahwa Ali juga seorang siswa kelas SD tersebut.
First-Order Logic
• First-order logic (seperti natural language) mengasumsikan dunia
berisi :
– Objects: people, houses, numbers, colors, baseball games, wars,
– Relations: brother of, bigger than, part of, comes between, …
– Functions: father of, best friend, one more than, …
• Sebagai contoh, kita kembali ke contoh sebelumnya. Untuk
menyelesaikan contoh tersebut, kita menggunakan simbol
p untuk menyatakan atribut seorang siswa kelas II SD,
r untuk menyatakan atribut nama hari,
dan q untuk menyatakan relasi mengenakan seragam.
Definisi lengkap setiap simbol, termasuk parameternya, adalah
sebagai berikut:
• p(x) : x adalah seorang siswa kelas II SD
r(x) : x adalah nama hari
q(x,y) : x mengenakan seragam y.
• Sehingga bisa dinyatakan sbb :
p(amin)
r(rabu)
q(amin,pramuka)
Tata Bahasa pada FOL
• Connective      

• Quantivier    

• Constant  A | Xi | John |…

• Variable  a | x | s |…

• Predicate  Before | HasColor | …

• Function  MotherOf|…
Penjelasan Tata Bahasa
• Constant
• Dituliskan dalam huruf besar : A, X1, Budi
• Harus menyatakan secara spesifik objek yang dimaksud
• Memungkinkan mengacu pada beberapa nama berbeda

• Variable
• Dituliskan dalamhuruf kecil: a,x, s

• Predicate
• Menyatakan relasi khusus
• Dapat memiliki beberapa nilai
• Misal : Berwarna (Tasku,Hijau); Berwarna(Tasku,Merah)

• Function
•
 First Order Logic (FOL)

• Kalkulus Predikat: Predikat yang digunakan untuk

mengekspresikan properti suatu obyek
• Pada kalkulus proposisi, “Saya suka cokelat”
dapat
diwakili P dan –P berarti “saya tidak suka cokelat”
• Pada logika predikat, ditulis: Suka(Saya, Cokelat),
dimana Suka adalah predikat. Hubungan antara Saya
dan Cokelat juga terlihat jelas.
 Quantifier
• Kalimat “Saya suka cokelat” dapat diekspan menjadi ” semua
orang suka cokelat”, berbentuk:
∀x Orang(x)⇒Suka(x, Cokelat)
• ∀ berarti “untuk semua”, disebut universal quantifier.
• Juga terdapat existential quantifier yang memperlihatkan
bahwa hanya beberapa (minimal satu) yang punya properti
tertentu, tidak semua:
∃x Suka(x, Cokelat)
• Dapat dibaca “ada suatu x sedemikian hingga x suka
cokelat”.
• Catatan:
∀x Suka(x, cokelat)⇒∃x Suka(x, cokelat) adalah benar;
 Inferensi pada FOL
• 8 aturan inferensi pada logika Proposisi + 3 aturan FOL
• Universal Elimination:
∀v α ⇒ SUBSTS({v/g}, α}
∀x Suka(x, Cokelat) , x dapat digantikan oleh Saya, sehingga
dapat disimpulkan Suka(Saya, Cokelat)
• Existential Elimination:
v α ⇒ SUBSTS({v/k}, α}
x Suka(x, Cokelat), x dapat digantikan oleh Saya, sehingga
dapat disimpulkan Suka(saya, Cokelat)
• Existential Introduction:
α ⇒ v SUBSTS({g/v}, α}
Dari Suka(saya, Cokelat) dapat disimpulkan x Suka(x, Cokelat).
Dari contoh amin sebelumnya…
• p(x) : x adalah seorang siswa kelas II SD
r(x) : x adalah nama hari
q(x,y) : x mengenakan seragam y.
• Kalimat yang bisa kita nyatakan dari cerita tersebut adalah
• 1 : ∀x(p(x) Λ r(senin) → q(x,merah-putih))
2 : ∀x(p(x) Λ r(selasa) → q(x,merah-putih))
3 : ∀x(p(x) Λ r(rabu) → q(x,merah-putih))
4 : ∀x(p(x) Λ r(kamis) → q(x,merah-putih))
5 : ∀x(p(x) Λ r(jumat) → q(x,pramuka))
6 : ∀x(p(x) Λ r(jumat) → q(x,pramuka))
• Jika diketahui bahwa Amin adalah seorang siswa kelas II SD dan hari rabu, maka
ditambahkan kalimat berikut:
7 : p(amin) Λ r(rabu)
8 : p(amin) Λ r(rabu) → q(amin,merah-putih) {Instansiasi x dengan Amin
pada kalimat 3}
9 : q(amin,merah-putih) {Modus Ponens antara 7 dan 8}
Contoh 1:
• Dalam sebuah keluarga diketahui bahwa Tono
adalah Bapak dari Budi, sedangkan Budi adalah
Bapak dari Andi, Buktikan bahwa Tono adalah
kakek dari Andi
• Fakta yang terkandung dalam soal diatas
adalah ?
Representasi fakta dalam Ekspresi FOL
1. Bapak(Tono,Budi)
2. Bapak(Budi,Andi)
3. Ekspresi Kakek dalam FOL adalah :
• x,y,z.Bapak(x,y)Anak(z,y)Kakek(x,z)
4. Untuk itu diperlukan Ekspresi Anak
• x,y.Bapak(x,y)Anak(y,x)
Proses:
5. Jika x=Budi, y=Andi
Bapak(Budi,Andi)Anak(Andi,Budi) UE 4

6. Bapak(Budi,Andi),
Bapak(Budi,Andi)Anak(Andi,Budi)

Anak(Andi,Budi) MP 2 & 5

7. Bapak(Tono,Budi), Anak(Andi,Budi)
Bapak(Tono,Budi)Anak(Andi,Budi) AI 1 6
8. Jika x=Budi, y=Andi dan z=Andi
Bapak(Tono,Budi)Anak(Andi,Budi)
Kakek(Tono,Andi) UE 3

Bapak(Tono,Budi)Anak(Andi,Budi)
Bapak(Tono,Budi)Anak(Andi,Budi)
Kakek(Tono,Andi)

Kakek(Tono,Andi) MP 7,8

Terbukti Tono adalah kakek dari Andi

Latihan 1.
• Wati mempunyai dua orang anak yaitu Tini dan Tino, Tino
menikah dengan seorang wanita yang bernama Tiwi,
Buktikan bahwa Tini sodara ipar Tiwi
• Fakta yang terkandung dalam soal diatas adalah ?
Latihan 2.
• Suatu keluarga diketahui bahwa Dewi adalah ibu kandung
dari Jono, Jono menikah dengan seorang wanita yang
bernama Intan, baktikan bahwa Dewi adalah Ibu Mertua
dari Intan
• Fakta yang terkandung dalam soal diatas adalah ?