Menyangkal 'Sebagian': Logika Himpunan
Mengapa Muncul Irisan?
Kesimpulan dari silogisme yang memuat kata sebagian selalu berujung pada eksistensi (ada irisan) di diagram Venn.
Dalam logika matematika, premis adalah fakta mutlak yang tidak boleh didebat. Mari kita petakan dua premis dari soal ke dalam area lingkaran himpunan:
Lingkaran Limbah B3 berada sepenuhnya di dalam lingkaran Fasilitas Khusus (karena semua limbah B3 harus diolah di sana).
Lingkaran Limbah Tekstil memotong sebagian area lingkaran Limbah B3 (karena sebagian limbah pabrik tekstil adalah limbah B3).
Perhatikan area lingkaran pada visual di atas. Karena seluruh area Limbah B3 berada di dalam Fasilitas Khusus, maka begitu lingkaran Limbah Tekstil beririsan dengan Limbah B3, bagian yang beririsan itu otomatis ikut berada di dalam lingkaran Fasilitas Khusus.
Dari relasi geometris ini, kesimpulan sah yang kita peroleh adalah:
“Sebagian limbah pabrik tekstil harus diolah di fasilitas khusus.”
Pernyataan pada Opsi E (“Terdapat sebagian limbah pabrik tekstil yang diolah di fasilitas khusus”) adalah kesimpulan yang sah itu sendiri. Namun, soal menuntut kita mencari ingkaran (negasi) dari kesimpulan, bukan kesimpulan aslinya.
Mengapa 'Sebagian Tidak' Bukan Negasi?
Pernyataan 'sebagian iya' dan 'sebagian tidak' tidak saling membantah secara mutlak karena keduanya bisa bernilai benar pada saat bersamaan.
Dua pernyataan dikatakan saling berkontradiksi atau menjadi negasi mutlak jika dan hanya jika keduanya tidak mungkin bernilai benar bersama-sama di alam semesta yang sama. Mari kita amati analogi ruang kelas:
Bayangkan seseorang berkata: “Sebagian siswa kelas A suka makan bakso.” Jika kalimat itu dibantah dengan kalimat: “Sebagian siswa kelas A TIDAK suka makan bakso,” apakah klaim pertama otomatis runtuh?
Jawabannya: tidak sama sekali. Seperti ilustrasi di atas, di dalam satu ruang kelas yang sama, kedua kelompok tersebut sangat mungkin hidup berdampingan. Ada sebagian siswa yang sedang lahap makan bakso, dan pada saat bersamaan ada sebagian siswa lain yang menolak makan bakso. Kedua kalimat itu sama-sama bernilai benar!
Seorang ilmuwan mengklaim: 'Beberapa kelinci percobaan di lab ini memiliki bulu putih.' Manakah pernyataan di bawah ini yang dipastikan SALAH jika klaim ilmuwan tersebut TERBUKTI BENAR?
- Sebagian kelinci di lab ini memiliki bulu berwarna hitam atau coklat.
- Sebagian kelinci percobaan di lab ini tidak memiliki bulu putih.
- Tidak ada satu pun kelinci di lab ini yang berbulu putih.
- Sebagian besar kelinci percobaan tidak berbulu putih.
Jawaban: Tidak ada satu pun kelinci di lab ini yang berbulu putih.
Klaim 'Beberapa kelinci berbulu putih' menyatakan keberadaan minimal satu kelinci putih. Pernyataan ini hanya dipastikan SALAH jika dipastikan 'Tidak ada satu pun kelinci berbulu putih' (Opsi C). Opsi A, B, dan D tetap bisa bernilai benar bersamaan dengan klaim kelinci putih tanpa saling membatalkan.
Mengidentifikasi bahwa kuantor eksistensial 'beberapa/sebagian' hanya gugur mutlak jika kelompok tersebut terbukti sama sekali tidak ada (kosong).
Membatalkan Irisan Sepenuhnya
Satu-satunya cara membantah klaim eksistensi (sebagian) adalah dengan membuktikan bahwa kelompok irisan tersebut benar-benar kosong (tidak ada).
Kesimpulan kita menyatakan bahwa ada limbah tekstil yang harus diolah di fasilitas khusus. Secara diagram, itu berarti area pertemuan antara kedua himpunan tersebut memiliki anggota (terisi). Untuk mengingkari atau membantah pernyataan itu secara mutlak, kita harus memastikan bahwa area irisan tersebut tidak memiliki satu pun anggota.
Ketika area irisan tersebut dikosongkan total, kalimat yang menggambarkannya secara tepat adalah:
“Tidak ada limbah pabrik tekstil yang diolah di dalam fasilitas khusus.” (setara dengan: “Semua limbah pabrik tekstil tidak diolah di fasilitas khusus”).
Pernyataan inilah yang tertulis pada Opsi C, sehingga Opsi C merupakan jawaban yang tepat. Begitu kalimat ini benar, maka klaim awal bahwa ada sebagian yang diolah otomatis menjadi mustahil.
Terdapat pernyataan: 'Ada penghuni gedung ini yang memelihara kucing.' Tentukan status Benar atau Salah untuk tiap kalimat berikut jika diajukan sebagai bantahan (negasi mutlak):
- Sebagian penghuni gedung ini memelihara anjing pelacak. — Salah
- Beberapa penghuni gedung ini tidak memelihara kucing sama sekali. — Salah
- Semua penghuni gedung ini dipastikan tidak memelihara kucing. — Benar
Pernyataan 1 Salah karena memelihara anjing tidak membatalkan kemungkinan memelihara kucing. Pernyataan 2 Salah karena 'beberapa tidak' bisa benar bersamaan dengan 'ada yang memelihara'. Pernyataan 3 Benar karena memastikan tidak ada satu pun pemelihara kucing, sehingga membantah mutlak eksistensi pemelihara kucing.
Membedakan bantahan semu (subkontrari/topik lain) dengan negasi mutlak yang mengosongkan irisan secara total.