Logika informatika 7
Logika relasional : argumen berkuantor Uji validitas
argumen berkuantor Perhatikan argumen berikut : Jika pintu lintas kereta api ditutup, maka lalulintas akan terhenti Jika lalulintas terhenti maka akan terjadi kemacetan lalulintas pintu kereta api ditutup, jadi terjadi kemacetan lalulintas Buktikan validitasnya
argumen berkuantor argumen tersebut dapat diselesaikan : p : pintu lintas kereta api ditutup q : lalulintas akan terhenti r : terjadi kemacetan lalulintas 1. pq premis 2. qr premis 3. p premis 4. pr HS 1 dan 2 5. r MP 4 dan 3 Jadi terbukti terjadi kemacetan lalulintas
argumen berkuantor argumen tersebut diselesaikan dengan prinsip resolusi: pq 1. {p,q} pr qr 2. {q,r} pr p 3. {p} pr r 4. {r} NG 5. {p,r} 1 dan 2 6. {p} 4 dan 5 7. { }
argumen berkuantor Bagaimana jika argumen berikut : semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya
argumen berkuantor Karena argumen mengandung Kuantor, maka pembuktianya melalui Logika Relasional Inferensi yang digunakan dalam bentuk Logika Relasional
argumen berkuantor Inferensi tambahan yang melibatkan Logika Relasional : 1. Modus Ponen 2. Modus Tolen 3. Silogisme 4. Conjunctive/And-Introduction 5. Universal Elimination (UE)
argumen berkuantor Inferensi Yang Digunakan Modus Ponen (MP) Contoh : umur19(Budi) SIM(Budi) umur19(Budi) SIM(Budi)
argumen berkuantor 2. Modus Tollen (MT) Contoh : umur19(Budi) SIM(Budi) SIM(Budi) umur19(Budi)
argumen berkuantor 3. Silogisme (S) Contoh : umur19(Budi) SIM(Budi) SIM(Budi) stir_mbl(Budi) umur19(Budi)stir_mbl(Budi)
argumen berkuantor 4. And-Introduction (AI) atau Konjungtive Jika ada premis P1, P2, P3 maka kesimpulannya P1 P2 P3 kelas(Budi) premis umur19(Budi) premis kelas(Budi) umur19(Budi)
argumen berkuantor 5. Universal Elimination (UE) atau Universal Instantiation (UI) Jika diketahui Logika Relasional misalnya premis : x(P(x)) jika x=a, a simbol individual, maka kesimpuan : P(a)
argumen berkuantor Contoh 1: semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya
argumen berkuantor Buat Logika Relasionalnya semua kucing adalah hewan menyusui Logika Relasionalnya : x(kucing(x) hwn_meyusui(x))
argumen berkuantor Buat Logika Relasionalnya Tom adalah seekor kucing ini merupakan fakta Logika Relasionalnya : kucing(Tom)
argumen berkuantor Jadi : 1. x(kucing(x) hwn_mensusui(x)) 2. kucing(Tom) 3. UE pada 1 misal x = Tom kucing(Tom)hwn_menyusui(Tom))
argumen berkuantor 4. MP antara 3 dan 4 kucing(Tom) hwn_menyusui(Tom)) kucing(Tom) hwn_menyusui(Tom) hwn_menyusui(Tom) artinya Tom adalah hewan menyusui, jadi terbukti
argumen berkuantor Contoh 2: Semua orang yang sabar akan berhati tenang Tidak ada orang berhati tenang cepat naik darah Alysa adalah orang yang sabar Jadi Alysa tidak cepat naik darah Buktikan validitasnya
argumen berkuantor Contoh 3: Setiap atlit adalah kuat Semua orang yang kuat dan cerdas akan sukses dalam karirnya Ade adalah seorang atlit Ade adalah seorang yang cerdas Jadi Ade akan sukses dalam karirnya Buktikan validitasnya
argumen berkuantor Contoh 4: Dalam sebuah keluarga diketahui bahwa Tono adalah bapak dari Budi, sedangkan Budi adalah bapak dari Andi. Buktikan bahwa Tono Kakek dari Andi.
argumen berkuantor Contoh 5: Jeki, seorang murid di kelas ini berumur 19 tahun. Setiap orang yang berumur 19 tahun boleh mendapatkan SIM. Buktikan bahwa seseorang di kelas ini boleh mendapatkan SIM.
argumen berkuantor Paryo Parmi Ida Jarwo Wati Agus Bejo Ade Oki Contoh 6 : Diketahui Silsilah keluarga Paryo Parmi Ida Jarwo Wati Agus Bejo Ade Oki
argumen berkuantor Dikethui fakta Buktikan : 1. Jarwo anaknya Paryo 2. Ida menantunya Paryo 3. Wati saudara kandung Jarwo 4. Bejo cucunya Paryo
SLIDE 7 SELESAI