INVERENSI LOGIKA

INFERENSI LOGIKAPENGERTIAN INFERENSIInferensi = Penarikan kesimpulanMelibatkan peryataan tunggal atau pernyataan majemuk yang saling berelasiPernyataan-pernyataan tersebut telah diketahui nilai kebenarannyaContoh: Semua manusia bisa matiSamsul adalah manusiaSamsul bisa matiPREMIS, KONKLUSI, DAN ARGUMENPremis: Himpunan pernyataan tunggal atau majemuk yang ditentukan (diketahui)Konklusi: Peryataan tunggal atau pernyataan majemuk yang diturunkan dari premisArgumen: Kumpulan dari premis-premis beserta 1 buah konklusi yang diturunkan dari premis-premis tersebutPREMIS, KONKLUSI, DAN ARGUMENCONTOH:Premis (1)Premis (2)Premis (n)

Konklusip1p2pn

kJika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB

Ia pandaiARGUMENKONKLUSIPREMISARGUMEN VALIDSebuah argumen dikatakan valid jika argumen tersebut merupakan tautologi(P1 P2 P3 Pn ) => k adalah tautologi

p1p2pn

k(P1 P2 P3 Pn ) => kARGUMEN VALIDContoh:

p = Ia mahasiswa UB q = Ia pandai

Jika Ia mahasiswa UB maka Ia pandai Ia mahasiswa UB

Ia pandaip => qp

qBUKTIKAN !!!!POLA SAH PENARIKAN KESIMPULANModus PonenModus TollensSilogismeSilogisma DisjungtifKonjungsiPenambahan (Addition)Penyederhanaan konjungtifModus Ponenp => qp

qpqp=>q(p=>q)p(p=>q)p=>q11111100010110100101TAUTOLOGIModus Tollensp => qq

ppqp=>q(p=>q)~q(p=>q)~q=>~p111100011001Silogisme (Silogisme hipotesa)Jika Ia manusia maka ia bisa matiJika ia bisa mati maka ia tidak kekal Jika ia manusia maka ia tidak kekalp => qq => r

p => r

Silogisme Disjungtifp v q~q

ppqp v q(p v q)~q(p v q)~q => p111101011000Konjungsi Penambahan (Addition) Pq

p qP

p v qPenyederhanaan konjungtifp q

p p q

q atauTugas - 3Buktikan apakah argumen berikut valid apa tidak!p q(p v q) => r

rDiketahui beberapa kondisi:p = kacamataku ada di dapurq = aku melihat kacamataku ketika sarapanr = aku membaca koran di ruang tamus = aku membaca koran di dapurt = kaca mata ku letakkan di meja tamuu = aku membaca buku di ranjangw = kacamataku kuletakkan di meja samping ranjang

fakta yang diketahui:p=>qrVsr=>t~qu=>ws=>p

Tentukan letak kacamata itu sekarang !!