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
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
PREMIS, KONKLUSI, DAN ARGUMEN CONTOH: Premis (1) Premis (2) … Premis (n) p1 p2 … pn Jika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB Konklusi k Ia pandai ARGUMEN KONKLUSI
ARGUMEN VALID (P1 ˄ P2 ˄ P3 ˄ … Pn ) => k k Sebuah argumen dikatakan valid jika argumen tersebut merupakan tautologi (P1 ˄ P2 ˄ P3 ˄ … Pn ) => k adalah tautologi
ARGUMEN VALID BUKTIKAN !!!! Contoh: p = Ia mahasiswa UB q = Ia pandai Jika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB Ia pandai p => q p BUKTIKAN !!!! q
POLA SAH PENARIKAN KESIMPULAN Modus Ponen Modus Tollens Silogisme Silogisma Disjungtif Konjungsi Penambahan (Addition) Penyederhanaan konjungtif
q Modus Ponen p => q p TAUTOLOGI p q p=>q (p=>q)ʌp 1 q TAUTOLOGI
˜ p Modus Tollens p => q ˜q p q p=>q (p=>q)ʌ~q 1
Silogisme (Silogisme hipotesa) p => q q => r p => r Jika Ia manusia maka ia bisa mati Jika ia bisa mati maka ia tidak kekal Jika ia manusia maka ia tidak kekal
p Silogisme Disjungtif p v q ~q p q p v q (p v q)ʌ~q 1
Penambahan (Addition) Konjungsi P q p ʌ q Penambahan (Addition) P p v q
Penyederhanaan konjungtif p ʌ q p ʌ q atau p q
Tugas - 3 r p ʌ q (p v q) => r Buktikan apakah argumen berikut valid apa tidak! p ʌ q (p v q) => r r
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 fakta yang diketahui: p=>q rVs r=>t ~q u=>w s=>p Tentukan letak kacamata itu sekarang !!