INFERENSI LOGIKA

19
INFERENSI LOGIKA

description

INFERENSI LOGIKA. PENGERTIAN INFERENSI. Inferensi = Penarikan kesimpulan Melibatkan peryataan tunggal atau pernyataan majemuk yang saling berelasi Pernyataan-pernyataan tersebut telah diketahui nilai kebenarannya Contoh : Semua manusia bisa mati Samsul adalah manusia Samsul bisa mati. - PowerPoint PPT Presentation

Transcript of INFERENSI LOGIKA

Page 1: INFERENSI LOGIKA

INFERENSI LOGIKA

Page 2: INFERENSI LOGIKA

PENGERTIAN INFERENSI

Inferensi = Penarikan kesimpulan Melibatkan peryataan tunggal atau

pernyataan majemuk yang saling berelasi

Pernyataan-pernyataan tersebut telah diketahui nilai kebenarannya

Contoh: Semua manusia bisa mati Samsul adalah manusia Samsul bisa mati

Page 3: INFERENSI LOGIKA

PREMIS, KONKLUSI, DAN ARGUMEN

Premis: Himpunan pernyataan tunggal atau majemuk yang ditentukan (diketahui)

Konklusi: Peryataan tunggal atau pernyataan majemuk yang diturunkan dari premis

Argumen: Kumpulan dari premis-premis beserta 1 buah konklusi yang diturunkan dari premis-premis tersebut

Page 4: INFERENSI LOGIKA

PREMIS, KONKLUSI, DAN ARGUMEN CONTOH:

Premis (1)Premis (2)…Premis (n)

Konklusi

p1

p2

…pn

k

Jika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB

Ia pandai

ARGUMEN KONKLUSI

PREMIS

Page 5: INFERENSI LOGIKA

ARGUMEN VALID

Sebuah argumen dikatakan valid jika argumen tersebut merupakan tautologi

(P1 ˄ P2 ˄ P3 ˄ … Pn ) => k adalah tautologi

p1

p2

…pn

k

(P1 ˄ P2 ˄ P3 ˄ … Pn ) => k

Page 6: INFERENSI LOGIKA

ARGUMEN VALID

Contoh:

p = Ia mahasiswa UB b = Ia pandai

Jika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB

Ia pandai

p qp

q

BUKTIKAN !!!!

Page 7: INFERENSI LOGIKA

POLA SAH PENARIKAN KESIMPULAN

Modus Ponen Modus Tollens Silogisme Silogisma Disjungtif Dilema Konstruktif Dilema Destruktif Konjungsi Penambahan (Addition) Penyederhanaan konjungtif

Page 8: INFERENSI LOGIKA

Modus Ponen

p qp q

p q Pq (pq)ʌp [(pq)ʌp]q

1 1 1 1 1

1 0 0 0 1

0 1 1 0 1

0 0 1 0 1

TAUTOLOGI

Page 9: INFERENSI LOGIKA

Modus Tollens

P q˜q˜ p p q Pq (pq)ʌ~q [(pq)ʌ~q]

~p

1 1 1

1 0 0

0 1 1

0 0 1

Page 10: INFERENSI LOGIKA

Silogisme (Silogisme hipotesa)

Jika Ia manusia maka ia bisa mati Jika ia bisa mati maka ia tidak kekal Jika ia manusia maka ia tidak

kekal

p qq rp r

Page 11: INFERENSI LOGIKA

Silogisme Disjungtif

p v q~qp p q p v q (p v q)ʌ~q [(p v

q)ʌ~q ] p

1 1 1

1 0 1

0 1 1

0 0 0

Page 12: INFERENSI LOGIKA

Dilema Konstruktif

Dilema Destruktif

(p q) ʌ (r s)p v r

q v s

(p q) ʌ (r s)~q v ~s

~p v ~r

Page 13: INFERENSI LOGIKA

Konjungsi

Penambahan (Addition)

Pq

p ʌ q

P p v

q

Page 14: INFERENSI LOGIKA

Penyederhanaan konjungtif

p ʌ q p

p ʌ q q

atau

Page 15: INFERENSI LOGIKA

Latihan 1

Buktikan apakah argumen berikut valid apa tidak!

p ʌ q(p v q) r r

Page 16: INFERENSI LOGIKA

Latihan

Pada suatu hari, anda hendak pergi ke kampus dan baru sadar bahwa anda tidak memakai kacamata. Setelah mengingat-ingat, ada beberapa fakta yang anda pastikan kebenarannya :

 a Jika kacamata ada di meja dapur, maka aku pasti sudah melihatnya ketika sarapan pagi

 b Aku membaca koran di ruang tamu atau aku membacanya di dapur c Jika aku membaca koran di ruang tamu, maka pastilah kacamata

kuletakkan di meja tamu d Aku tidak melihat kacamataku pada waktu sarapan pagi e Jika aku membaca buku di ranjang, maka kacamata kuletakkan di

meja samping ranjang f Jika aku membaca korang di dapur, maka kacamataku ada di meja

dapur 

Page 17: INFERENSI LOGIKA

Latihan 2

Diketahui beberapa kondisi: p = kacamataku ada di dapur q = aku melihat kacamataku ketika sarapan r = aku membaca koran di ruang tamu s = aku membaca koran di dapur t = kaca mata ku letakkan di meja tamu u = aku membaca buku di ranjang w = kacamataku kuletakkan di meja samping

ranjang

Tentukan letak kacamata itu sekarang !!

Page 18: INFERENSI LOGIKA

fakta yang diketahui: Pq rVs Rt ~q Uw SP

Page 19: INFERENSI LOGIKA

Question ???