Efek Domino Logika: Merunut Akibat ke Sebab

Aturan Berantai di Rumah

Pernahkah kamu menyadari bahwa otak kita sering kali secara otomatis mengambil "jalan pintas" saat menghubungkan kejadian sebab-akibat?

Bayangkan sebuah aturan tidak tertulis di rumahmu. Premis 1: Jika Ibu memasak kue, maka seluruh ruangan di rumah akan berbau harum. Lalu, ada Premis 2: Jika rumah berbau harum, maka Adik yang sedang tidur pasti langsung bangun.

Secara intuitif, otak kita akan membuang bagian tengahnya (rumah berbau harum) dan langsung menarik garis lurus dari pemicu awal ke hasil akhir: Jika Ibu memasak kue, maka Adik pasti langsung bangun.

Dalam logika matematika, "jalan pintas" ini disebut sebagai Silogisme Hipotetik (aturan berantai). Jika kita mengubahnya menjadi variabel matematika:

$A \rightarrow B$ (Jika Ibu masak kue, rumah harum)
$B \rightarrow C$ (Jika rumah harum, Adik bangun)

Maka, gabungan kedua premis tersebut menghasilkan satu implikasi baru yang sah: $A \rightarrow C$ (Jika Ibu masak kue, Adik bangun). Kita bisa mengabaikan $B$ sepenuhnya! Konsep ini sangat berguna untuk menyederhanakan teks soal yang panjang sebelum kita menganalisis faktanya.

Diketahui aturan: 'Jika hujan turun, maka jalanan macet.' dan 'Jika jalanan macet, maka Ayah terlambat ke kantor.' Kesimpulan berantai apa yang pasti benar?

A. Jika jalanan macet, maka Ayah naik motor.
B. Jika hujan turun, maka Ayah terlambat ke kantor.
C. Jika hujan turun, maka jalanan tidak macet.
D. Jika Ayah terlambat ke kantor, maka hujan turun.

Jawaban: B. Jika hujan turun, maka Ayah terlambat ke kantor.

Dari $P \rightarrow Q$ dan $Q \rightarrow R$, kita bisa menarik kesimpulan $P \rightarrow R$. Pemicu awalnya adalah 'hujan turun', akibat akhirnya adalah 'Ayah terlambat ke kantor'.

Silogisme (aturan berantai) menggabungkan pemicu awal langsung ke akibat akhir dengan menghilangkan kejadian perantaranya.

Detektif Akibat: Kenapa Adik Belum Bangun?

Kita sudah punya kesimpulan berantai (silogisme) dari halaman sebelumnya: Jika Ibu memasak kue, maka Adik langsung bangun tidur ($A \rightarrow C$).

Sekarang, mari bertindak sebagai detektif. Kamu baru saja pulang sekolah dan melihat suatu fakta di lapangan: Adik ternyata masih tertidur pulas (kejadian $C$ tidak terjadi, atau $\sim C$).

Tanpa perlu repot-repot ke dapur untuk mengecek, apa yang bisa kamu simpulkan secara pasti?

Berpikir mundurlah dari fakta tersebut. Aturannya menjamin bahwa kue pemicu Adik bangun. Karena Adik tidak bangun, tidak mungkin ada kue yang dimasak! Kesimpulan pastinya adalah: Ibu tidak memasak kue ($\sim A$).

Bagaimana jika kita berpikir terbalik: "Ibu sedang tidak memasak kue, berarti Adik pasti tidak bangun"? Ini adalah kesalahan logika (jebakan yang sering muncul). Adik bisa saja bangun karena hal lain, misalnya digigit nyamuk. Modus Tollens hanya bekerja secara mundur dari akibat ke sebab, bukan sebaliknya. Sepanjang apa pun rantai logika pemicunya, selama kamu tahu akibat ujungnya gagal terjadi, maka kamu bisa menyimpulkan bahwa pemicu awalnya juga batal.

Tentukan apakah penarikan kesimpulan berikut Benar atau Salah secara logika!

Diketahui A -> B. Fakta: B tidak terjadi. Kesimpulan 'A tidak terjadi' adalah valid. — Benar
Diketahui A -> B. Fakta: A tidak terjadi. Kesimpulan 'B tidak terjadi' adalah valid. — Salah
Diketahui A -> B. Fakta: B terjadi. Kesimpulan 'A pasti terjadi' adalah valid. — Salah

Modus tollens hanya sah jika kita melihat akibatnya tidak terjadi, lalu menyimpulkan pemicunya tidak ada. Jika penyebab tidak ada (~A), akibat (~B) belum tentu terjadi karena bisa disebabkan hal lain.

Modus Tollens berarti jika akibat batal terjadi, maka penyebabnya pasti batal. Namun jika penyebab batal, kita tidak bisa memastikan akibatnya.

"Tidak" Bukan Berarti "Mustahil"

Ada satu miskonsepsi (kesalahpahaman) fatal yang sering menjebak siswa saat mengerjakan soal logika: menganggap "tidak terjadi" itu sama dengan "mustahil terjadi".

Mari kita kembali ke contoh dapur. Fakta bahwa Adik tidak bangun membuat kita menyimpulkan bahwa "Ibu tidak memasak kue" ($\sim A$) hari ini.

Pertanyaannya: Apakah fakta tersebut berarti bahwa "Ibu mustahil bisa memasak kue untuk selamanya"? Atau apakah "Memasak kue adalah suatu kegiatan yang tidak mungkin dilakukan Ibu"?

Tentu saja tidak! Ibu mungkin saja memasak kue besok, atau lusa. Kesimpulan logika dari Modus Tollens hanya memotret fakta faktual saat ini (bahwa aktivitas itu tidak sedang dilakukan), bukan menghakimi probabilitas (kemungkinan) absolut kejadian tersebut di masa depan.

Dalam logika matematika deduktif murni, kita dilarang keras menambahkan asumsi pribadi seperti kata "mustahil", "tidak pernah", atau "selamanya" jika premis aslinya hanya berbicara tentang apakah sesuatu itu terjadi atau tidak. Ingat, negasi ($\sim A$) hanyalah sebuah bantahan atas terjadinya suatu kondisi di saat ini.

Diketahui variabel P: 'Tim X berhasil menang turnamen'. Setelah ditarik kesimpulan dengan Modus Tollens, diperoleh hasil ~P. Manakah interpretasi (makna) kalimat yang paling tepat untuk ~P tanpa menambahkan asumsi?

A. Tim tersebut adalah tim terburuk dan tidak akan pernah menang.
B. Menang dalam turnamen adalah hal yang mustahil bagi tim tersebut.
C. Tim tersebut belum berhasil menang di turnamen kali ini.
D. Tim tersebut membubarkan diri karena gagal menang.

Jawaban: C. Tim tersebut belum berhasil menang di turnamen kali ini.

Negasi dari 'Tim X berhasil menang' adalah 'Tim X tidak/belum berhasil menang'. Opsi lain mengandung asumsi berlebihan atau kemustahilan yang melanggar batas aturan logika.

Kesimpulan negasi logis (~P) hanya menyatakan kondisi faktual bahwa peristiwa tersebut tidak terjadi, bukan meramal kemustahilan di masa depan.