Logika informatika 4
Proposional resolusi : Bentuk klausa Prinsip resolusi
Bentuk klausa Proposional resolusi merupakan aturan inferensi, tetapi dalam bentuk Klausa Jika premis-premis yang diketahui bentuknya masih sederhana, maka dalam mendapatkan kesimpulan mesin inferensi masih mampu
Bentuk klausa Bagaimana jika bentuk premisnya kompleks ? misalnya : a. (p(rq)) b. (pr)(rq) Atau yg tidak sesuai lagi dengan mesin inferensi
Bentuk klausa Premis yang kompleks harus diubah ke dalam bentuk klausa Bentuk Klausa adalah himpunan yang berisi Literal
Bentuk klausa Literal proposisi atomik p bentuk klausanya {p} q bentuk klausanya {q} p bentuk klausanya {p} Literal proposisi majemuk disjungsi p q bentuk klausanya {p,q} r s bentuk klausanya {r,s} r q bentuk klausanya {r,q}
Bentuk klausa Bagaimana bentuk klausa dari proposisi yang mengandung Konjungsi () Implikasi () Bi Implikasi () Negasi ()
Bentuk klausa Karena bentuk klausa hanya mengenal Literal, negasi Literal dan Disjungsi, maka proposisi yang tidak mengandung Disjungsi harus diubah terlebih dahulu ke bentuk Disjungsi atau Literalnya CARANYA ?
Bentuk klausa Ada 4 Tahap 1. Implication Out (I) 2. Negation In (N) 3. Distribution (D) 4. Operator Out (O) Disingkat INDO
Bentuk klausa Implication Out (I) a. 12 menjadi 1 2 b. 12 menjadi 1 2 c. 12 menjadi (12) (12)
Bentuk klausa 2. Negation In (N) a. (1) menjadi 1 b. (1 2) menjadi 1 2 c. (1 2) menjadi 1 2
Bentuk klausa 3. Distribution (D) a. 1 (2 3) (1 2) (1 3) b. (1 2) 3 (1 2) (1 3) c. 1 (2 3) (1 2 3) d. (1 2) 3 (1 2 3) e. 1 (2 3) (1 2 3) f. (1 2) 3 (1 2 3)
Bentuk klausa 4. Operator Out (O) a. 1 2 … n {1, 2, . n} b. 1 2 … n {1}, {2}, . . . ,{n}
Bentuk klausa Contoh 1: Diketahui proposisi p (rq) ubahlah kedalam bentuk Klausa
Bentuk klausa Jawab : I : p (rq) hilangkan p (r q) N : p (r q) tidak ada () di luar kurung D : p (r q) tidak perlu D O : {p}, {r, q} jadi p (rq) bentuk klausanya {p}, {r, q}
Bentuk klausa Contoh 2: Diketahui proposisi(p (qr)) ubahlah kedalam bentuk Klausa
Bentuk klausa Jawab : I : (p (qr)) hilangkan (p (q r)) N : (p (q r)) ada () di luar (p (q r)) masih ada () (p (q r)) masih ada dobel () (p (q r)) tidak ada negasi D : (p (q r)) perlu D (p q) (p r) O : {p , q}, {p, r} jadi (p (qr)) bentuk klausanya {p , q}, {p, r}
Bentuk klausa Soal 1 : Tentukan bentuk klausa dari pernyataan berikut
Bentuk klausa Soal 2 : Tentukan bentuk klausa dari pernyataan berikut
Bentuk klausa Soal 3 : Tentukan bentuk klausa dari pernyataan berikut
Bentuk klausa Soal 4 : Tentukan bentuk klausa dari pernyataan berikut
Bentuk klausa Soal 5 : Tentukan bentuk klausa dari pernyataan berikut
Bentuk klausa Soal 6 : Tentukan bentuk klausa dari pernyataan berikut
Prinsip resolusi Prinsip Resolusi adalah pembuktian sebuah kesimpulan dari premis- premis dalam bentuk klausa.
Prinsip resolusi Prinsip Resolusi didefinisikan sebagai berikut :
Prinsip resolusi Inget INDO ? I : 12 menjadi 1 2 N : 1 2 D : 1 2 O : {1, 2} Jadi 12 bentuk klausanya {1, 2}
Prinsip resolusi Misalkan :
Prinsip resolusi Jika dihubungkan dengan Inferensi Modus Ponen (MP) Premis premis Konklusi
Prinsip resolusi 2. Modus Tollens (MT) Premis premis Konklusi
Prinsip resolusi 3. Silogisme Premis premis Konklusi
Prinsip resolusi 4. Himpunan Kosong
Prinsip resolusi 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
Prinsip resolusi Contoh 1 : Diketahui {q} merupakan kesimpulan dari premis-premis {p,q}, {p,q,r} dan {r} Buktikan !
Prinsip resolusi 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
Prinsip resolusi Contoh 2 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q,r} Buktikan !
Prinsip resolusi Contoh 3 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r}, {r,s} dan {q,s} Buktikan !
Prinsip resolusi Contoh 4 : Diketahui {p} merupakan kesimpulan dari premis-premis {p,r}, {r,s} dan {s} Buktikan !
Prinsip resolusi Contoh 5 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q,r}, {p,r} dan {q,r} Buktikan !
Prinsip resolusi Contoh 6 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q} Buktikan !
Prinsip resolusi Contoh 7 : Diketahui {s} merupakan kesimpulan dari premis-premis {p,q}, {q,r}, {p,s} dan {r} Buktikan !
Prinsip resolusi Contoh 8 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,q} dan {q} Buktikan !
SLIDE 4 SELESAI