Modus Tollens dan Jebakan Implikasi Berbalik
Kenapa $P \rightarrow Q$ Bukan $Q \rightarrow P$?
Waktu ngerjain soal tadi, kamu mungkin pakai strategi eliminasi buat milih jawaban. Itu wajar kok kalau lagi kepepet. Tapi, strategi "buang yang kelihatan salah" rentan bikin kita kejebak kalau soalnya udah dimodifikasi jadi lebih rumit.
Banyak orang terjebak karena mereka mengira aturan sebab-akibat itu arahnya bisa dibolak-balik seenaknya. Di ilmu logika formal, ini disebut Converse Error (Kesalahan Konvers).
Coba lihat simulasi di atas. Bayangkan ada aturan yang pasti benar: "Jika saya berada di Jakarta ($P$), maka saya pasti berada di Indonesia ($Q$)."
Nah, sekarang mari kita balik arah panahnya: "Jika saya berada di Indonesia ($Q$), maka saya pasti berada di Jakarta ($P$)." Apakah ini pasti benar?
Belum tentu! Bisa aja kamu lagi di Surabaya, Bandung, atau Bali.
Jadi, kalau ada aturan "Jika musim kemarau, maka panen raya", jangan pernah menyimpulkan "Kalau lagi panen raya, berarti pasti musim kemarau."
Dalam sepak bola ada aturan: 'Jika pemain mendapat kartu merah langsung (P), maka ia diusir dari lapangan (Q).' Berdasarkan pemahaman kita bahwa arah panah tidak bisa dibalik (P -> Q bukan Q -> P), apa yang terjadi kalau kita melihat seorang pemain sedang berjalan diusir dari lapangan (Q terjadi)?
- A. Jika pemain diusir dari lapangan, maka ia pasti kena kartu merah.
- B. Jika pemain tidak kena kartu merah, ia pasti tidak diusir.
- C. Pemain diusir dari lapangan, tapi belum tentu karena kartu merah (bisa alasan lain).
- D. Kartu merah tidak menyebabkan pemain diusir.
Jawaban: C. Pemain diusir dari lapangan, tapi belum tentu karena kartu merah (bisa alasan lain).
Arah panah hanya P -> Q (Kartu Merah -> Diusir). Kalau dibalik jadi Q -> P (Diusir -> Kartu Merah), belum tentu benar. Bisa saja dia diusir karena akumulasi kartu kuning.
Miskonsepsi konvers: pernyataan 'Jika P maka Q' tidak menjamin kebenaran 'Jika Q maka P'.
Kembaran Sejati: Kontraposisi
Terus, kalau dibalik aja (Konvers) itu salah, pernyataan apa dong yang maknanya 100% sama dengan $P \rightarrow Q$?
Di sini kita kenalan sama konsep Kontraposisi. Satu-satunya cara memanipulasi kalimat "Jika-Maka" tanpa mengubah nilai kebenarannya adalah dengan dibalik DAN dinegasikan kedua sisinya secara bersamaan.
Kembali ke analogi lokasi tadi:
Asli: "Jika saya di Jakarta ($P$), maka saya di Indonesia ($Q$)." (Benar)
Kontraposisi: "Jika saya TIDAK di Indonesia ($\sim Q$), maka pasti saya TIDAK di Jakarta ($\sim P$)."
Coba rasakan maknanya. Logis banget, kan? Nggak mungkin kamu lagi ada di Jakarta kalau kaki kamu aja nggak lagi nginjek tanah Indonesia.
Tentukan apakah makna pernyataan kedua 'Sama' (ekuivalen secara logika) atau 'Beda' dengan pernyataan aslinya!
- Jika saya tidak basah, maka saya tidak kehujanan. (Bandingkan dengan: Jika saya kehujanan, maka saya basah) — Sama
- Jika saya jalan kaki, maka saya capek. (Bandingkan dengan: Jika saya tidak jalan kaki, maka saya tidak capek) — Beda
- Jika server mati, maka web tidak bisa diakses. (Bandingkan dengan: Jika web bisa diakses, maka server tidak mati) — Sama
Pernyataan awal: Jika P maka Q. Kontraposisinya (Sama Makna): Jika bukan Q maka bukan P. Jika dibalik saja atau dinegasikan saja, maknanya beda.
Kontraposisi (~Q -> ~P) adalah satu-satunya bentuk ekuivalen mutlak dari (P -> Q).
Mundur Teratur dengan Modus Tollens
Sekarang kita masuk ke alat utamanya: Modus Tollens. Namanya kedengaran kayak mantra sihir, tapi idenya cuma perwujudan langsung dari Kontraposisi di dunia nyata.
Kalau kamu tahu sebuah aturan sebab-akibat, lalu kamu melihat di lapangan bahwa akibatnya ternyata gagal terjadi, kamu bisa langsung memastikan bahwa penyebab pemicunya juga sedang tidak terjadi.
Kamu bilang kamu paham kalau "Hujan $\rightarrow$ Jalan basah", tapi kalau jalan basah belum tentu hujan (bisa aja habis disiram).
Tapi, mari kita lihat dari sudut pandang kebalikannya (Kontraposisi): Aturan bilang "Jika hujan ($P$), jalan basah ($Q$)". Hari ini kamu melihat jalan aspal kering kerontang alias jalan tidak basah ($\sim Q$). Kesimpulannya? Pasti tidak sedang hujan ($\sim P$). Nggak mungkin hujan turun ke jalan, tapi jalannya tetap kering!