Logika Sandbox: Teks sebagai Satu-satunya Semesta
Aturan #1: The Closed-World Sandbox
Waktu ngerjain soal penalaran logis, sadar nggak kalau kadang logika dunia nyata kita malah bikin kita terjebak? Misalnya di soal Maria, mungkin kamu mikir: "Yah, atlet kan juga manusia, wajar aja kalau dia main bola pas waktu luang!"
Stop dulu. Di dunia penalaran logis (deduktif), ada satu aturan emas bernama Closed-World Assumption (Asumsi Dunia Tertutup). Artinya, teks di soal adalah satu-satunya realitas yang eksis. Teks adalah sebuah sandbox atau kotak kaca tertutup.
Kalau kamu diibaratkan sebagai program komputer, teks di soal adalah deklarasi variabelnya. Kalau teks bilang "Kucing adalah mamalia berbulu", maka program itu sama sekali nggak tahu apakah kucing punya paru-paru atau insang.
Jadi, kalau ada kesimpulan "Kucing bernapas pakai insang", itu dinilai salah BUKAN karena biologi di dunia nyata (kucing aslinya pakai paru-paru), melainkan karena teks aslinya tidak pernah menyebutkan hal itu, atau bertentangan dengan apa yang dideklarasikan.
Jika teks hanya menyatakan 'Burung unta adalah jenis unggas', apa status dari kesimpulan 'Burung unta bisa terbang' menurut aturan Closed-World Sandbox?
- A. Pasti Benar, karena secara umum unggas bisa terbang.
- B. Pasti Salah, karena di dunia nyata burung unta tidak bisa terbang.
- C. Tidak bisa disimpulkan dari teks, karena teks tidak mendeklarasikan kemampuan terbang burung unta.
Jawaban: C. Tidak bisa disimpulkan dari teks, karena teks tidak mendeklarasikan kemampuan terbang burung unta.
Dalam Closed-World Assumption, fakta dunia nyata (burung unta tidak bisa terbang) tidak berlaku. Kita hanya mengandalkan teks. Karena teks diam soal kemampuan terbang, kita tidak bisa menyimpulkannya.
Fakta dunia nyata di luar premis teks tidak boleh digunakan untuk menarik kesimpulan deduktif (Closed-World Assumption).
Aturan #2: Gak Dilarang BUKAN Berarti Benar
Pernah kepikiran begini? "Kan di teks nggak dibilang Maria DILARANG main bola, berarti kesimpulan dia main bola sah-sah aja, alias Mungkin Benar dong?"
Nah, ini bug logika yang paling sering menjebak peserta ujian. Dalam logika deduktif, ketiadaan bantahan di dalam teks bukan berarti kebenaran.
Analoginya mirip coding. Kalau kamu belum ngasih nilai (value) ke sebuah variabel—misalnya cuma mendeklarasikan A dan B—terus tiba-tiba kamu memanggil variabel C, sistem komputer nggak akan mereturn TRUE (hanya karena C tidak dilarang). Sistem bakal mereturn ERROR (Undefined)!
Mengapa sebuah kesimpulan yang sama sekali tidak bertentangan dengan isi teks belum tentu berstatus 'Pasti Benar'?
- A. Karena kesimpulan 'Pasti Benar' harus punya jejak bukti langsung dari premis, bukan sekadar tidak dilarang.
- B. Karena soal penalaran umum selalu mengandung kebohongan.
- C. Karena kita bebas menambahkan asumsi pribadi agar informasi menjadi lengkap.
Jawaban: A. Karena kesimpulan 'Pasti Benar' harus punya jejak bukti langsung dari premis, bukan sekadar tidak dilarang.
Ketiadaan bantahan bukan berarti kebenaran. Kesimpulan yang pasti benar harus bisa dilacak 100% buktinya dari informasi yang ada (terdeklarasi) di dalam teks.
Ketiadaan larangan dalam teks (informasi yang tidak dibantah) tidak menjadikan sebuah pernyataan otomatis pasti benar.
Mapping Output: 5 Status Simpulan
Biar nggak abu-abu lagi, kita definisikan batasannya. Menentukan status simpulan di soal SNBT itu sebenarnya seperti menjalankan sistem mekanis input-output yang kaku, bukan tebak-tebakan pakai feeling.
Setiap opsi kesimpulan punya syarat ketat. Coba perhatikan alur pengambilan keputusannya di bawah ini:
Tidak Relevan (Error: Unknown Variable): Kesimpulan bawa topik/subjek baru yang sama sekali nggak pernah dideklarasikan di teks.
Tidak Cukup Info (Error: Missing Argument): Topiknya masih satu koridor, tapi butuh premis tambahan (jembatan logika) yang gak ada di teks biar simpulan bisa jadi utuh.
Pasti Salah (Return FALSE): Kesimpulan bertabrakan langsung (kontradiksi) dengan nilai variabel di teks.
Pasti Benar (Return TRUE): Kesimpulan adalah hasil hitungan matematis/logika yang pasti dari variabel yang ada.
Mungkin Benar (Warning: Unverified): Topik nyambung, trennya mendukung sebagian, tapi secara absolut belum bisa dipastikan 100% (bisa karena premis pakai kata "Sebagian").