[ INFERENSI LOGIKA ]
-ARGUMEN VALID DAN NONVALID
-METODE-METODE INFERENSI
-MODUS PONENS
-MODUS TOLLENS
DISUSUN KELOMPOK
OLEH: 8
TOMI ALDIASYAH
[19024014007]
Pengertian Inferensi
2
ARGUMEN VALID DAN
INVALID PADA
INFERENSI LOGIKA
3
ARGUMEN
ARGUMEN adalah h
rangkaian kalimat-kalimat.
Semua kalimat-kalimat ter- 1h
Hipote
sebut kecuali yang sa
2 Argume
terakhir disebut n
HIPOTESA (ASUMSI/
h
PREMISE).
Kalimat terakhir pada n Kesimpul
an
argumen disebut q
KESIMPULAN
4
ARGUMEN VALID DAN INVALID
Argumen dikatakan VALID jika untuk sembarang
pernyataan yang disubstitusikan kedalam hipotesa,
jika semua hipotesa tersebut benar, maka
kesimpulan juga benar.
Sebaliknya, meskipun semua hipotesa benar
tetapi ada kesimpulan yang salah, maka
argumen tersebut dikatakan INVALID.
Jika suatu argumen dan semua hipotesanya
bernilai benar, maka kebenaran nilai konklusi
dikatakan sebagai “diinferensikan (diturunkan)
dari kebenaran hipotesa” 5
ARGUMEN VALID DAN INVALID
Untuk mengecek apakah suatu argumen merupakan
kalimat yang Valid, dapat dilakukan lagkah-langkah
sebagai berikut:
a) A (B C)
C
AB
b) A (B C)
B (A C)
AC
7
A (B C)
Penyelesaian (a) C
Hipotesa : A (B C) dan C AB
Kesimpulan :AB
Tabel kebenaran dari hipotesa-hipotesa dan kesimpulan tersebut adalah:
Baris ke A B C BC A (B C) C AB
1 T T T T T F T
2 T T F T T T T
3 T F T T T F T
4 T F F F T T T
5 F T T T T F T
6 F T F T T T T
7 F F T T T F F
8 F F F F F T F
Baris kritis adalah baris 2, 4 dan 6 (baris yang semua hipotesanya bernilai T). Pada baris
tersebut seluruh kesimpulannya bernilai T. Maka argumen tersebut VALID.
8
B (A C)
Penyelesaian (b)
Hipotesa : A (B C) dan B (A C)
Kesimpulan :AC AC
Tabel kebenaran dari hipotesa-hipotesa dan kesimpulan tersebut adalah:
Baris ke A B C C (B C) AC A (B C) B (A C) AC
1 T T T F T T T T T
2 T T F T T F T F F
3 T F T F F T F T T
4 T F F T T F T T F
5 F T T F T F T F T
6 F T F T T F T F T
7 F F T F F F T T T
8 F F F T T F T T T
Baris kritis adalah baris 1, 4, 7 dan 8. Pada baris tersebut TIDAK seluruh kesimpulannya
bernilai T (baris ke-4 bernilai F). Maka argumen tersebut INVALID. 9
CONTOH
Tentukan apakah Argumen di bawah ini Valid/Invalid?
10
METODE-METODE INFERENSI
Metode-metode inferensi yaitu teknik untuk menurunkan
kesimpulan (konklusi) berdasarkan hipotesa yang ada,
TANPA harus menggunakan tabel kebenaran.
Metode Inferensi
1) Modus Ponens 5) Silogisme
2) Modus Tollens Disjungtif
3) Penambahan Disjungtif 6) Silogisme
4) Penyederhanaan Hipotesis
Konjungtif 7) Dilema
8) Konjungsi
11
(1) MODUS PONENS
AB (hipotesa Pada tabel kebenaran
1) A (hipotesa Baris ke A B AB A B
2) 1 T T T T T
B 2 T F F T F
(kesimpulan) 3 F T T F T
4 F F T F F
12
CONTOH MODUS PONEN ( MP )
1. Pernyataan
Premis : Jika saya belajar, maka saya lulus
1 ujian
Premis : Saya belajar
2 : Saya lulus ujian
Konklus
Jika pintu lintas kereta api ditutup, lalu lintas akan terhenti Jika lalu
i
lintas terhenti, akan terdapat kemacetan lalu lintas Pintu lintas kereta
2. Pernyataan
api ditutup
Jadi, terdapat kemacetan lalu lintas
3. Pernyataan
Jika korupsi merajalela atau persediaan minyak bumi habis, maka jika
pendapatan negara tak dapat diatasi, negara akan mengalami resesi.
Ternyata pendapatan negara tak dapat diatasi.
Jika persediaan miyak bumi habis, maka negara kehilangan devisa.
Jika negara kehilangan devisa, maka korupsi merajalela atau persediaan minyak
bumi habis.
Persediaan minyak bumi habis. Jadi negara
(2) MODUS TOLLENS
AB (hipotesa 1)
¬B (hipotesa 2)
¬A (kesimpulan)
Contoh:
Jika Zeus seorang manusia, maka ia dapat mati.
Zeus tidak dapat mati.
Zeus bukan seorang manusia.
14
Catatan
15