Semangat pagi sahabat blogger,,di pagi yang cerah ini saya akan share sedikit mengenai Logika Informatika. Pada posting yang dulu-dulu saya sudah pernah share mengenai
hardware dan sortware. Nah, untuk postingan kali ini sedikit berbeda dari biasnya,, dan saatnya kita bermain dengan Logika...
Logika predikat merupakan
pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.
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.
