Pertemuan 12 & 13


Logika Predikat

Logika predikat merupakan pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.

logika predikat membedakan subjek dan predikat dalam sebuah kalimat.

Istilah dalam Logika Predikat
• Term : kata benda atau subjek
• Predikat : properti dari term
• Fungsi proposisional=fungsi
• Kuantor
– Universal: yang selalu bernilai benar (∀).
– Eksistensial: bisa bernilai benar atau salah(∃).

Contoh Logika Predikat
• Nani adalah ibu dari Ratna.
• Term=nani , ratna
• Predikat=adalah ibu dari
• Fungsi=ibu(nani,ratna) ; M(n,r)
Bentuk logika predikat
M(n,r)→¬M(r,n)

Contoh Kuantor Universal
• Semua gajah mempunyai belalai
• G(x) = gajah
• B(x) = belalai
Bentuk logika predikat
(∀x)(G(x)→B(x))
Dibaca: untuk semua x, jika x seekor gajah,
maka x mempunyai belalai.

Contoh Kuantor Eksistensial
• Ada bilangan prima yang bernilai genap.
• P(x) = bilangan prima
• G(x) = bernilai genap
Bentuk logika predikat
(∃x)(P(x)∧G(x))
Dibaca: ada x, yang x adalah bilangan prima
dan x bernilai genap.

Contoh Soal :
Jika Siti mirip Dewi dan Dewi mirip Santi, maka

Siti mirip Santi.

Penyelesaian :

Jika Siti mirip Dewi dan Dewi mirip Santi, maka Siti mirip Santi.
– Term: S=Siti, D=Dewi, N=Santi
– Predikat: M=Mirip
– Fungsi: (M(S,D) ∧ M (D,N)) → M(S,N)

Referensi :
1.Logika Proposisional, Penerbit Andi Yogyakarta, 2003.
2.Logika Dasar, F Soesianto, 2002.
3.Logika Matematika Elementer, Penerbit TARSITO Bandung, 1986.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: