Bab III : Standard Axiom Schemata Mata Kuliah Logika Informatika Teknik Informatika 54406 3 SKS Bab III : Standard Axiom Schemata
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
(()) (() ()) Implication Introduction (II) ( ) Implication Distribution (ID) (()) (() ())
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 (qr) (p (qr)) II premis 2 p (qr) MP 3 dan 2 p (qr)(p q)(p r) ID dari 4 (p q)(p r) MP 5 dan 4 p r MP 6 dan 1
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
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 pq, Klausulnya {p, q}
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
1 2 1 2 1 2 1 2 1 2 (12)(12) Implication Out (I) 1 2 1 2 1 2 1 2 1 2 (12)(12) Negation In (N) 1 1 (1 2) 1 2 (1 2) 1 2
1(23)(12)(13) (12)3(13)(23) Distribution (D) 1(23)(12)(13) (12)3(13)(23) 1(23)(123) (12)3(123) 1(23)(123) (12)3(12 Ʌ 3)
12…n {1, 2, . . . n} 12…n 1, 2, . . . n Operator Out (O) 12…n {1, 2, . . . n} 12…n 1, 2, . . . n
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}
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}
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))
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}
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 :
Modus Ponen (MP) p q {p, q} p {p} q {q} Modus Tolen (MT) q {q} p {p}
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 { }
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
Contoh 1 : Diketahui {q} merupakan kesimpulan dari premis-premis {p,q}, {p,q,r} dan {r} Buktikan !
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
Contoh 2 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q,r} Buktikan !
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