Logika informatika 5.

Presentasi berjudul: "Logika informatika 5."— Transcript presentasi:

1 Logika informatika 5

2 Logika relasional : Logika proposisonal Fungsi proposisi

3 Logika Proporsional Proposisi ada dua jenis yaitu proposisi atomik dan proposisi majemuk Proposisi Atomik Budi adalah mahasiswa Ayam hewan bertelur Kucing hewan menyusui

4 Logika Proporsional Proposisi Majemuk
Budi adalah mahasiswa atau Budi Karyawan jika Ayam hewan bertelur maka ayam tidak punya kuping

5 Logika Proporsional Penulisan Proposisi Atomik dalam ekspresi logika :
p : Budi adalah mahasiswa q : Ayam hewan bertelur jadi : p : q :

6 Logika Proporsional Penulisan Proposisi Majemuk
Budi adalah mahasiswa atau Budi Karyawan p : Budi adalah mahasiswa q : Budi Karyawan Ekspresi Logikanya p  q

7 Logika Proporsional Penulisan Proposisi Majemuk
Jika Budi adalah mahasiswa maka Budi sudah dewasa p : Budi adalah mahasiswa q : Budi sudah dewasa Ekspresi Logikanya p  q

8 Logika predikat Jika dalam Proposisi Atomik Subjek atau Objek dan Predikat, maka proposisi dapat ditulis Predikat(Objek)

9 Logika predikat Contoh : Budi adalah mahasiswa Budi = Subjek
Mahasiswa = Predikat jadi Budi adalah mahasiswa Mahasiswa(Budi)

10 Logika predikat Contoh : Tom seekor kucing Tom = Subjek
Kucing = Predikat jadi Tom seekor kucing dapat ditulis Kucing(Tom)

11 Logika predikat Contoh Ikan paus hewan menyusui
Ratnasari adalah penyanyi Rendra seorang penyair Bram adalah manusia 2 bilangan prima

12 Predikat(Objek1,Objek2)
Logika predikat Jika proposisi mengandung Subyek ,Predikat dan Objek, maka : Subyek = Objek1 Objek = Objek2 Predikat jadi dirumuskan Predikat(Objek1,Objek2)

13 Logika predikat Contoh : Budi mencintai Sita, maka :
Subyek = Objek1 adalah Budi Objek = Objek2 adalah Sita Predikat adalah mencintai jadi dirumuskan Mencintai(Budi,Sita)

14 Lebih_mahal(Mobil,Sepeda)
Logika predikat Contoh : Mobil lebih mahal dari sepeda, maka : Subyek = Objek1 adalah Mobil Objek = Objek2 adalah Sepeda Predikat adalah lebih_mahal jadi dirumuskan Lebih_mahal(Mobil,Sepeda)

15 Saudara_kandung(Parjo,Parmi)
Logika predikat Contoh : Parjo saudara kandung parmi Saudara_kandung(Parjo,Parmi)

16 Logika predikat Contoh Budi adalah orang tuanya Wati
Ratnasari menyenangi Apel Budi dapat membeli Berlian Bram sedang menonton bola

17 Logika predikat Proposisi majemuk berupa :
Jika Budi orang kaya maka Budi dapat membeli berlian Logika Predikatnya : orang_kaya(Budi)dpt_beli(Budi,berlian)

18 Logika predikat Contoh 1 : Jika Budi mencintai Sita maka Budi bahagia
Jika Besi itu padat dan besar maka besi itu berat

19 Logika predikat Contoh 3 :
Jika Budi ayahnya Sita maka Sita anaknya Budi Contoh 4 : Jika Budi ayahnya Sito dan Ali anaknya Sito maka Sito cucunya Budi

20 Logika predikat Contoh 5 :
Jika Budi mencintai Sita dan Sita mencintai Budi maka Budi menikai Sita Contoh 6 : Jika Budi ayahnya Siti dan Joko menikah dengan Siti maka Joko menantu Budi

21 Predikat(Objek1,Objek2)
Fungsi proposisi Dikatakan Fungsi karena mengandung variabel, sehingga jika penulisan proposisi dengan logika predikat : Predikat(Objek1,Objek2) dimana objek1 dan objek2 diganti variabel x dan ya maka disebut fungsi proposisi

22 Saudara_kandung(Parjo,Parmi)
Fungsi proposisi Contoh : Parjo saudara kandung parmi Saudara_kandung(Parjo,Parmi) jika Parjo = x dan Parmi = y, maka Saudara_kandung(x,y) disebut Fungsi Proposisi

23 Fungsi proposisi Contoh : orang_kaya(Budi)dpt_beli(Budi,berlian)
jika Budi = x dan Berlian = y, maka orang_kaya(x)dpt_beli(x,y) disebut Fungsi Proposisi

24 Predikat(Objek1,Objek2)
Logika relasional Fungsi Proposisi yang disebut Logika Relasional karena predikat mempunyai suatu relasi dengan objek objek yang ada : Predikat(Objek1,Objek2) jika objek1 berelasi dengan objek2 maka disebut Logika Relasional

25 Logika relasional Soal 1 :
Jika Sinta menanam bunga mawar maka taman menjadi sejuk

26 Logika relasional Soal 2 :
jika Budi lahir di Indonesia dan orang tua Budi mempunyai pasport Indonesia maka Budi mempunyai pasport Indonesia

27 Logika relasional Soal 3 :
jika sepeda berjalan dan motor juga berjalan maka motor lebih cepat daripada sepeda

28 Logika relasional Soal 4 :
Pesawat lebih cepat daripada mobil dan pesawat lebih mahal dari pada mobil

29 Logika relasional Soal 5 :
Jika Anto dapat mengendarai mobil dan Anto berusia 17 Tahun maka Anto dapat membuat SIM

30 Logika relasional Tono Tini Budi Wati Soal 6 :
Jika diketahui Silsilah keluarga sebagai berikut Tulis dlm logika relasional Anak, Menantu Tono Tini Budi Wati

31 Logika relasional Paryo Parmi Ida Jarwo Wati Bejo Soal 7 :
Diketahui Silsilah keluarga Tulis dlm logika relasional semua yg mungkin Paryo Parmi Ida Jarwo Wati Bejo

32 SLIDE 5 SELESAI