Logika informatika 3

lanjutan Kalkulus proposisi : Kalkulus proposisi Pembuktian logika Aturan inferensi lanjutan

Aturan inferensi Aturan Inferensi adalah aturan untuk membuktikan atau menentukan kesimpulan dari premis-premis yang diketahui Apa bedanya dengan Tabel Kebenaran ?

Aturan inferensi Jika diket premis-premis P1, P2, P3, P4, ....., Pn, maka kesimpulanya dapat ditentukan yaitu Q. Untuk mendapatkan kesimpulan Q digunakan suatu aturan yang disebut Aturan Inferensi dan Hukum Logika

Aturan inferensi Jika diket P1, P2, P3, P4, ....., Pn, maka P1 premis ke 1 P2 premis ke 2 . Pn premis ke n pn+1 premis dari aturan inferensi pn+2 premis dari aturan inferensi Q kesimpulan

Aturan inferensi Ada 8 Aturan Inferensi 2 Hukum Addisi (Add) premis p kesimpulan p q Modus Ponen (MP) premis p  q premis p kesimpulan q

Aturan inferensi 3. Disjungtif Silogisme (DS) premis p  q premis p kesimpulan q 4. Konjungsi (Conj) premis p premis q kesimpulan p  q

Aturan inferensi 5. Simplifikasi (Simp) premis p  q kesimpulan p 6. Modus Tollens (MT) premis p  q premis q kesimpulan p

Aturan inferensi 7. Hypothetical Silogisme (HS) premis p  q premis q  r kesimpulan p  r 8. Prinsip Resolusi (PR) premis p  q premis p  r kesimpulan q  r

Aturan inferensi Hukum 1. De Morgan (de Mor) a. (p  q)  p  q b. (p q)  p  q 2. Comutative (Comm) a. p  q  q p b. p  q  q  p

Aturan inferensi Contoh 1 : Diket premis (pq)r dan (pq), dengan aturan inferensi tentukan kesimpulanya

Aturan inferensi Jawab (pq)r premis 1 (pq) premis 2 r MP 1 dan 2 Jadi kesimpulanya r

Aturan inferensi Contoh 2 : Diket premis (pq), (pr) dan (q), dengan aturan inferensi tentukan kesimpulanya

Aturan inferensi Jawab pq premis 1 pr premis 2 q premis 3 p MT 1 dan 3 r MP 2 dan 4 Jadi kesimpulanya r

Aturan inferensi Contoh 3 : Diketahui premis debagai berikut : P1 : Jika hari ini hujan, maka tanah menjadi basah P2 : Jika tanah menjadi basah, maka tanah menjadi licin P3 : Hari ini hujan Apa kesimpulanya ?

Aturan inferensi Jawab Misalkan p : hari ini hujan q : tanah menjadi basah r : tanah menjadi licin Maka premis-premisnya menjadi

Aturan inferensi P1 : pq, P2 : qr, P3 : p maka : pq premis 1 qr premis 2 p premis 3 q MP 1 dan 3 r MP 2 dan 4 Kesimpulanya Tanah Menjadi Licin

Aturan inferensi Contoh 4 : Jika Paryo rajin bekerja, maka ia mendapat reputasi kerja yang baik, jika Paryo memiliki reputasi kerja yang baik, maka karirnya akan meningkat dengan cepat, ternyata karir Paryo mandek, apa kesimpulanya ?

Aturan inferensi Jawab Misalkan p : Paryo rajin bekerja q : Paryo mendapat reputasi kerja yang baik r : karirnya akan meningkat dengan cepat

Aturan inferensi P1 : pq, P2 : qr, P3 : r maka : pq premis 1 qr premis 2 r premis 3 pr HS 1 dan 2 p MT 4 dan 3 Kesimpulanya Paryo tidak rajin bekerja

Aturan inferensi Soal 1 : (5) Diketahui kumpulan premis berikut : Jika Andi menyukai bakso maka Susi rajin belajar Jika Susi rajin belajar maka Budi naik kelas Jika Budi naik kelas maka Tono mendapat hadiah Dengan aturan inferensi tentukan kesimpulanya ?

Aturan inferensi Soal 2 : (3) Diketahui kumpulan premis berikut : Jika Farida datang maka Rita ikut Farida dan Komala datang Dengan aturan inferensi tentukan keimpulannya ?

Aturan inferensi Soal 3 : (6) Diketahui kumpulan premis berikut : Jika Nurida pergi kemah ke gunung gede atau Aryanti tidak ada di rumah maka Hasanah tidak akan pergi ke luar rumah, Jika aryanti tidak di rumah maka Inneke akan setia menemani, ternyata Hasanah pergi ke luar rumah Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 4 : (10) Diketahui kumpulan premis berikut : Jika korupsi merajalela atau persediaan minyakbumi habis, maka jika pendapatan negara tidak dapat diatasi maka negara akan mengalami resesi Ternyata pendapatan negara tak dapat diatasi Jika persediaan minyak bumi habis maka negara kehilangan devisa Jika negara kehilangan devisa maka korupsi merajalela atau persediaan minyak bumi habis Persediaan minyak bumi habis Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 5 : (1) Diketahui kumpulan premis berikut : (pq)(sr), s, rq, t(pq) dan q Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 6 : (2) Diketahui kumpulan premis berikut : (pq), (qr), (ps), dan r Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 7 : (4) Diketahui kumpulan premis berikut : (pq)r, (ps), dan (qt) Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 8 : (7) Diketahui kumpulan premis berikut : (p  q)r, (ps), dan (qt) Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 9 : (8) Diketahui kumpulan premis berikut : (q p), (pr), (ps), (s) dan (pq) Dengan aturan inferensi tentukan kesimpulannya ?

Aturan inferensi Soal 10 : (9) Diketahui kumpulan premis berikut : (pɅq)(rs), (⌐s⌐r), dan (p) Dengan aturan inferensi tentukan kesimpulannya ?

SLIDE 3 SELESAI