Logika informatika 5

Logika relasional : Logika proposisonal Fungsi proposisi

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

Predikat(Objek1,Objek2) Logika relasional Proposisi yang mengandung suatu relasi beberapa objek disebut Proposisi yang mengandung Fungsi atau Logika Relasional : Predikat(Objek1,Objek2) dimana objek1 berelasi dengan objek2 dan objek1 dan objek2 dijadikan variabel

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

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

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

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

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

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

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

SLIDE 5 SELESAI