Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Bab III : Standard Axiom Schemata

Presentasi serupa


Presentasi berjudul: "Bab III : Standard Axiom Schemata"— Transcript presentasi:

1 Bab III : Standard Axiom Schemata
Mata Kuliah Logika Informatika Teknik Informatika 54406 3 SKS Bab III : Standard Axiom Schemata

2 Standard Axiom Schemata
Skema Aksioma adalah pola kalimat yang ditafsirkan sebagai aturan inferensi tanpa premis skema aksioma yang valid adalah pola kalimat yang menunjukkan suatu himpunan tak terhingga kalimat, yang semuanya valid

3 (())  (()  ())
Implication Introduction (II)  (  ) Implication Distribution (ID) (())  (()  ())

4 Contoh : Jika p benar, maka q juga benar, jika q benar maka r juga benar, buktikan bahwa jika p benar maka r benar p  q premis q  r premis (qr)  (p (qr)) II premis 2 p (qr) MP 3 dan 2 p (qr)(p q)(p r) ID dari 4 (p q)(p r) MP 5 dan 4 p r MP 6 dan 1

5 B. Propositional Resolustion
Resolusi Proposional adalah aturan Referensi Resolusi Proposional adalah aturan untuk membuktikan sebuah teorema tanpa aksioma schemata Pembuktian dengan Resolusi Proposional lebih singkat dibanding dengan inferensi lainnya

6 C. Bentuk Klausul Resolusi Proposional hanya dapat digunakan jika ekspresi yang diketahui dalam bentuk Klausul Klausul adalah himpunan yang berisi literal . Literal bisa berupa kalimat sederhana, Literal p, Klausulnya {p} Literal p, Klausulnya {p} . Kalimat disjungsi pq, Klausulnya {p, q}

7 Perubahan Bentuk Klausul
Karena Klausul hanya mengenal literal, negasi literal dan kalimat Disjungsi, maka kalimat yang tidak berbentuk Disjungsi harus di ubah terlebih dahulu kedalam bentuk disjungsi agar dapat di buat klausulnya Ada empat perubahan bentuk klausul, yaitu Implication Out (I), Negation In (N), Distribution (D) dan Operator Out (O) yang disingkat INDO

8 1  2  1  2 1  2  1  2 1  2  (12)(12)
Implication Out (I) 1  2  1  2 1  2  1  2 1  2  (12)(12) Negation In (N) 1  1 (1  2)  1  2 (1  2)  1  2

9 1(23)(12)(13) (12)3(13)(23)
Distribution (D) 1(23)(12)(13) (12)3(13)(23) 1(23)(123) (12)3(123) 1(23)(123) (12)3(12 Ʌ 3)

10 12…n  {1, 2, . . . n} 12…n  1, 2, . . . n
Operator Out (O) 12…n  {1, 2, n} 12…n  1, 2, n

11 Contoh 1 : Diketahui pernyataan p (r  q), tuliskan dalam bentuk Klausul (clausul form) Jawab : p  (r  q) I : p  (r  q) O : {p} : {r, q} Jadi pernyataan p (r  q), bentuk klausulnya {p}, {r, q}

12 Contoh 2 : Diketahui pernyataan (p  (q  r)), tuliskan dalam bentuk Klausul (clausul form) Jawab : (p  (q  r)) I : (p  (q  r)) N : p  (q  r) : p  (q  r) : p  (q  r) D : (p  q)  (p r) O : {p, q}, {p, r}

13 Soal Latihan : p  q p  (r  q) (p  q)  (r  q) (p  r)  (r  q) (r  p)  (r  q) (p  (r  q)) (p  (q  r))

14 D. Prinsip Resolusi Bentuk Umum Prinsip Resolusi didefinisikan sebagai berikut : Jika diketahui bentuk klausa, maka dapat ditentukan bentuk klausa conklusinya {1, , , …. n} {1, , m} {1, ,n, 1, , m}

15 Contoh 3 : Diketahui {p, q} {p, r} Maka kesimpulanya {q, r} Jika di hubungkan dengan Inferensi Modus Ponen (MP), Modus Tolen (MT) dan Silogisme (S), maka dapat dituliskan :

16 Modus Ponen (MP) p  q {p, q} p {p} q {q} Modus Tolen (MT) q {q} p {p}

17 Silogisme (S) p  q {p, q} q  r {q, r} p  r {p, r} Metode umum untuk membuktikan bahwa himpunan  secara logis dalam bentuk klausul jika dapat dibuktikan sampai menghasilkan himpunan kososng { }

18 Untuk membuktikan bahwa kesimpulan itu valid atau tidak ataupun Himpunan Premis  merupakan Logika Entalment atau tidak, maka langkahnya : Negasikan Kesimpulanya Gunakan Mesin Inferensi Usahakan dapat mencapai himpunan kosong { } Jika dapat menghasilkan { }, artinya terbukti kesimpulan valid

19 Contoh 1 : Diketahui {q} merupakan kesimpulan dari premis-premis {p,q}, {p,q,r} dan {r}
Buktikan !

20 Jawab 1 : {p,q} premis {p,q,r} premis {r} premis {q} Negasi Kesimpulan {p,q} dari 2 dan 3 {q} dari 1 dan 5 { } dari 4 dan 6 Terbukti valid

21 Contoh 2 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q,r} Buktikan !

22 Jawab 2 : Diketahui himpunan klausul {p, q} premis {p, r} premis {q, r} premis {r} negasi kesimpulan {q, r} hasil dari 1 dan 2 {r} hasil dari 5 dan 3 { } hasil dari 6 dan 4 Terbukti


Download ppt "Bab III : Standard Axiom Schemata"

Presentasi serupa


Iklan oleh Google