Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Logika informatika 7.

Presentasi serupa


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

1 Logika informatika 7

2 Logika relasional : argumen berkuantor Uji validitas

3 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

4 argumen berkuantor argumen tersebut dapat diselesaikan :
p : pintu lintas kereta api ditutup q : lalulintas akan terhenti r : terjadi kemacetan lalulintas 1. pq premis 2. qr premis 3. p premis 4. pr HS 1 dan 2 5. r MP 4 dan 3 Jadi terbukti terjadi kemacetan lalulintas

5 argumen berkuantor argumen tersebut diselesaikan dengan prinsip resolusi: pq 1. {p,q} pr qr 2. {q,r} pr p 3. {p} pr r 4. {r} NG 5. {p,r} 1 dan 2 6. {p} 4 dan 5 7. { }

6 argumen berkuantor Bagaimana jika argumen berikut :
semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

7 argumen berkuantor Karena argumen mengandung Kuantor, maka pembuktianya melalui Logika Relasional Inferensi yang digunakan dalam bentuk Logika Relasional

8 argumen berkuantor Inferensi tambahan yang melibatkan Logika Relasional : 1. Modus Ponen 2. Modus Tolen 3. Silogisme 4. Conjunctive/And-Introduction 5. Universal Elimination (UE)

9 argumen berkuantor Inferensi Yang Digunakan Modus Ponen (MP) Contoh :
umur19(Budi)  SIM(Budi) umur19(Budi) SIM(Budi)

10 argumen berkuantor 2. Modus Tollen (MT) Contoh : umur19(Budi)  SIM(Budi) SIM(Budi) umur19(Budi)

11 argumen berkuantor 3. Silogisme (S) Contoh : umur19(Budi)  SIM(Budi) SIM(Budi)  stir_mbl(Budi) umur19(Budi)stir_mbl(Budi)

12 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)

13 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)

14 argumen berkuantor Contoh 1: semua kucing adalah hewan menyusui
Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

15 argumen berkuantor Buat Logika Relasionalnya
semua kucing adalah hewan menyusui Logika Relasionalnya : x(kucing(x) hwn_meyusui(x))

16 argumen berkuantor Buat Logika Relasionalnya Tom adalah seekor kucing
ini merupakan fakta Logika Relasionalnya : kucing(Tom)

17 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))

18 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

19 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

20 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

21 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.

22 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.

23 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

24 argumen berkuantor Dikethui fakta Buktikan : 1. Jarwo anaknya Paryo
2. Ida menantunya Paryo 3. Wati saudara kandung Jarwo 4. Bejo cucunya Paryo

25 SLIDE 7 SELESAI


Download ppt "Logika informatika 7."

Presentasi serupa


Iklan oleh Google