INFERENSI
Inferensi merupakan proses penarikan kesimpulan.
Banyak keyakinan dan pendapat, bahkan ilmu
menganalisa argumen
membahas hubungan antara argumen dan fakta
pendukungnya
membahas argumen dan inferensi
KEBENARAN LOGIS
LOGIKA hanya membahas hubungan antara
P1
P2
K
Contoh :
1.
Setiap orang yang telah mendaftar pada KPU akan terdaftar sebagai pemilih
sah dan Joni telah mendaftar pada KPU; sehingga Joni pemilih sah.
2.
Joni adalah pemilih sah karena Joni telah mendaftar pada KPU, dan setiap
3.
orang yang telah mendaftar pada KPU akan terdaftar sebagai pemilih sah.
Karena setiap orang yang mendaftar pada KPU adalah pemilih sah, Joni
mesti pemilih sah, karena ia sudah mendaftar pada KPU.
CONTOH : 1]
2]
3]
2, 3].
CONTOH MENARIK
premis :
5 =
4 = 4
2 =
22 = (-2)2
22 =
2 = -2
4 =
kesimpulan: 1 =
5 1 = -3
-2
(-2)2
4
-3 5 = 5
Jika 5 = 5 maka 1 = -3 ?
Jika 1 = -3 maka 5 = 5 ?
ARGUMEN BERSYARAT
Diperhatikan kembali implikasi p q, p: anteseden dan q:
konsekuen.
Argumen dimana premis pertamanya berupa implikasi disebut
argumen bersyarat (conditional argument)
Contoh:
Jika Smith tidak lulus kuliah dalam waktu 7 tahun maka ia akan dikeluarkan.
Smith tidak lulus kuliah dalam waktu 7 tahun
AAAAA AAAA AAAAAAAAAAA AAAA AAAAAA.
valid
p q
(1)
q
disebut modus ponen. Dalam argumen ini, antesedennya TRUE
sehingga untuk memperoleh implikasi yang TRUE maka haruslah
konsekuennya juga TRUE.
jika jumlah digit-digit pada 288 habis dibagi 9 maka 288 habis
dibagi 9.
2 + 8 + 8 = 18 habis dibagi 9.
288 habis dibagi 9.
Diperhatikan contoh lainnya:
jika akan terjadi angin putting beliung maka suhu dibumi meningkat.
suhu dibumi tidak meningkat.
tidak akan terjadi angin putting beliung.
Argumen ini menolak konsekuen, yaitu konsekuennya FALSE. Agar
p q
q
A
disebut modus tollen.
valid
(2)
ARGUMEN BERSYARAT
(LANJUTAN)
Argumen dengan 3 pernyataan
p q
q r
valid
(3)
p r
Contoh :
Jika hari hujan maka sungai akan meluap.
Jika sungai meluap maka padi di sawah akan tenggelam
Jika hari hujan maka padi di sawah akan tenggelam.
Beberapa argumen bersyarat yang tidak valid.
p q
q
tidak valid
(4)
p
p q
p
tidak valid
(5)
q