Bab IV : Relational Logic

Presentasi berjudul: "Bab IV : Relational Logic"— Transcript presentasi:

1 Bab IV : Relational Logic
Mata Kuliah Logika Informatika 3 SKS Bab IV : Relational Logic

2 hujan, salju, basah, licin
Logika Proposional Sebuah konstanta mengacu pada proposisi atom, misalnya : hujan, salju, basah, licin Hubungan proposisi majemuk dengan proposisi atom misalnya : hujan  salju  basah basah  licin

3 B. Logika Relasional Konstanta merujuk ke sebuah obyek, misalnya : Budi, Sita Konstanta juga dapat merujuk pada sebuah hubungan, misalnya : Mencintai, Bahagia

4 Proposisi atomik mengungkapkan hubungan antara objek-objek tersebut, misalnya :
Budi mencintai Sita Budi senang Logika relasionalnya : mencintai(Budi,Sita) mencintai(Sita,Budi) senang(Budi)

5 Hubungan proposisi majemuk dapat dinyatakan :
Jika Budi mencintai Sita maka Sita mencitai Budi Mencintai(Budi,Sita)  Mencintai(Sita,Budi) Jika Budi mencintai Sita dan Sita mencintai Budi maka Budi bahagia Mencintai(Budi,Sita)  Mencintai(Sita,Budi)  Bahagia(Budi)

6 Variabel : Untuk menuliskan variabel, harus dengan huruf yang dimulai dari u, v, w, x, y, z Konstanta : Konstanta dapat ditulis dengan angka, atau huruf alfabet dari a sampai t, atau sebuah kata, misalnya budi, tuti, siti Konstanta ada beberapa jenis

7 Konstanta ada beberapa jenis, walaupun tidak secara tegas disebutkan
Konstanta Objek mengacu pd benda dlm smesta pmbicarn Budi, Sita Konstanta Fungsi menunjukan sebuah fungsi ayah, ibu, tambah, umur Konstanta Hubungan menunjukan suatu hubungan anak, senang, orang tua, mencintai

8 Jika Budi = x, Sita = y, maka logika relasional dapat ditulis :
Mencintai(x,y)  Mencintai(y,x) Mencintai(x,y)  Mencintai(y,x)  Bahagia(x) Dapat diartikan : jika x mencintai y dan y mencintai x maka x bahagia. Sehingga x dapat diganti dengan sebuah konstanta apa saja

9 ayah(Budi) dapat di baca : Budi seorang ayah
Tambah(2,3) dibaca : 2 tambah 3 Orang tua(Suparjo,Budi) Kaya(x)  Dapat_membeli(x,y) (Besar(x)  Padat(x))  Berat(x) Genap(x)  Faktor(2,x) Passport-UK(x) Lahir-UK(x)  Passport-UK(Or-Tua(x))

10 Truk(x) Mobil(x) Sepeda(x) Lebih_Mahal(x,y) Lebih_Cepat(x,y)

11 Arity : Arity konstanta fungsi atau konstanta relasi adalah jumlah argumen yang diperlukan Konstanta fungsi : ayah1, ibu1 ayah1(budi) : konstanta fungsi ayah hanya perlu 1 argumen yaitu budi tambah2(2,3) : konstanta fungsi tambah perlu 2 argumen

12 Konstanta relasi : senang1 senang1(budi) : konstanta relasi senang hanya perlu 1 argumen yaitu budi orang_tua2(Pak Tito,Budi) : konstanta relasi orang_tua perlu 2 argumen, yaitu pak Tito dan Budi Penulisan indek yang menunjukan arity opsional

13 Penulisan seperti itu disebut fungsional,
orang_tua2(Pak Tito,Budi) ayah1(Budi) ibu1(Budi) ditambah2(usia1(ayah1(Budi)),usia1(ibu1(budi)) Kalimat Relasional merupakan ekspresi yang dibentuk dari konstanta relasi Mencintai2(Budi, Sita) Menyukai2(Sita,Buah)

14 Kalimat Logis Relasional merupakan ekspresi yang dibentuk dari konstanta relasi
Mencintai2(Budi, Sita) Menyukai2(Sita,Buah) sukai2(Betty,Seni)suka2(Betty,Bakso) sukai2(Betty,Seni)suka2(Betty,Bakso) Dapat_Mengendarai(Anto,Sepeda)  Dapat_Mengendarai(Anto,Motor)

15 Perhatikan berikut : Setiap integer mempunyai faktor priem. Untuk semua x, jika x adalah suatu integer maka x mempunyai suatu faktor priem (c) x, (Adalah_integer(x) Punya_fak_priem(x)) dimana Adalah_integer(x) merupakan suatu predikat yang menyajikan “ x adalah suatu integer “, dan Punya_fak_priem(x) “

16 berikut : Setiap manusia merupakan mahluk hidup. Untuk semua x, jika x adalah manusia maka x merupakan mahluk hidup (c) x, (Adalah_manusia(x)  Adalah_mkhluk_hidup(x))

17 berikut : Jamur ungu beracun Jika sesuatu itu adalah jamur ungu, maka beracun atau Untuk semua x, jika x adalah jamur ungu, maka x beracun atau x.(jamur ungu(x)  x(beracun)) atau Jika sesuatu itu adalah jamur dan ungu maka sesuatu itu beracun atau (f)Untuk semua x, jika x adalah jamur dan berwarna ungu, maka x beracun (g)x, (jamur(x) ungu(x) beracun(x))