Mata Kuliah Logika Informatika Teknik Informatika 54406 3
- Slides: 17
Mata Kuliah Logika Informatika Teknik Informatika 54406 3 SKS Bab III : Bentuk Klausa Bowo Nurhadiyono, S. Si. , M. Kom
A. Bentuk Klausul Resolusi Proposional hanya dapat digunakan jika ekspresi yang diketahui dalam bentuk 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}
B. 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 {p, 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) p q { p, q} q { q} p { p} {p} dan { p} adalah { }
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 kosong {} Atau dengan kontradiksi yaitu menegasikan dari kesimpulan
Contoh 1 : Diketahui himpunan klausul, apakah himpunan itu secara logis dalam bentuk klausul ? 1. { p, q} premis 2. { s, p, q} premis 3. {s} premis 4. { q} Negasi Kesimpulan 5. {p, q} hasil dari 3 dan 2 6. {q} hasil dari 5 dan 1 7. { } hasil dari 6 dan 4 Terbukti
Contoh 2 : Diketahui himpunan klausul 1. {p, q} premis 2. { p, r} premis 3. { q, r} premis 4. { r} Negasi Kesimpulan 5. {q, r} hasil dari 1 dan 2 6. {r} hasil dari 5 dan 3 7. { } hasil dari 6 dan 4 Terbukti
Contoh 3 : Buktikan dengan bentuk Klausa bahwa p adalah kesimpulan dari premis-premis p (q r), r s, dan (q s) Jawab : p (q r) bentuk klausanya { p, q}, { p, r} r s bentuk klausanya { r, s} (q s) bentuk klausanya { q, s} p bentuk klausanya { p}
Sehingga premisnya menjadi : 1. { p, q} premis 2. { p, r} premis 3. { r, s} premis 4. { q, s} premis 5. {p} negasi kesimpulan 6. {q} dari 1 dan 5 7. { s} dari 4 dan 6 8. { r} dari 3 dan 7 9. { p} dari 2 dan 8 10. {} dari 5 dan 9 Terbukti
Contoh 4 : Buktikan dengan bentuk Klausa bahwa s r, adalah kesimpulan dari premis p (q r), p s, dan q Jawab : p (q r) r} p s q (s r) bentuk klausanya { p, q, bentuk klausanya {p, s} bentuk klausanya {q} bentuk klausanya {s} , { r}
Sehingga premisnya menjadi : 1. { p, q, r} premis 2. {p, s} premis 3. {q} premis 4. {s} negasi kesimpulan 5. { r} negasi kesimpulan 6. { p, q} dari 1 dan 5 7. {p} dari 2 dan 4 8. { q} dari 6 dan 7 9. {} dari 3 dan 8 Terbukti
Contoh 5 : Jika Mary mencintai Pat, maka Mary mencintai Quincy Jika hari ini Senin, maka Mary mencintai Pat atau Quincy Hari ini Senin, Buktikan bahwa Mary mencintai Quincy
Jawab : p : Mary mencintai Pat q : Mary mencintai Quincy s : Hari ini Senin Simbolnya : p q s (p q) s q premis konklusi
Bentuk Klausa : p q bentuk klausa { p, q} s (p q) bentuk klausa { s, p, q} s bentuk klausa {s} q bentuk klausa dari negasi konklusi { q} Sehingga bentuk premisnya :
1. 2. 3. 4. 5. 6. 7. { p, q} { s, p, q} {s} { q} {p, q} {} Terbukti : premis negasi Konklusi dari 3 dan 2 dari 1 dan 5 dari 4 dan 6
Contoh 6 : Jika bahan baku kedelai berasal dari Indonesia atau Amerika, maka tempe yang diproduksi pasti bermutu baik. Jika tempe yang diproduksi bermutu baik, maka tempe tersebut laku dipasaran, akan tetapi kenyataanya tempe diproduksi tidak laku dipasaran, oleh karenanya, bahan baku kedelai yang digunakan bukan berasal dari Indonesia Buktikan dengan bentuk klausa
- Mata kuliah metode penelitian teknik informatika
- Sap universitas gunadarma
- Mata kuliah teknik industri
- Mata kuliah teknik digital
- Teknik parsing logika informatika
- Mata kuliah testing dan implementasi sistem
- Mata kuliah pendidikan inklusi
- Silabus mata kuliah seminar proposal skripsi
- Mata kuliah advokasi
- Contoh soal struktur beton bertulang
- Pengantar aplikasi komputer (spss)
- Rumus slovin
- Kurikulum institusional
- Mata kuliah pelayanan prima
- Mata kuliah analisis jabatan
- Tahapan kuliah
- Gambar
- Kontrak perkuliahan