Logika Formal: Kuantor, Proposisi, dan Negasinya

Proposisi vs Kuantor

Logika proposisional ($p \to q$) menghubungkan dua kejadian utuh, sedangkan logika kuantor membicarakan jumlah anggota suatu himpunan. Dalam pemecahan masalah logika deduktif, mengenali format pernyataan sejak awal mencegah kita salah memilih metode analisis.

Logika proposisional berfokus pada hubungan sebab-akibat tunggal antar-peristiwa, seperti proposisi bersyarat bertipe "Jika $p$, maka $q$". Misalnya: "Jika hari hujan ($p$), maka jalan basah ($q$)". Di sini, kita tidak membagi jalanan menjadi beberapa potong atau sebagian wilayah; hubungan tersebut diuji secara utuh per kejadian.

Sebaliknya, kuantor universal (disimbolkan $\forall$, dibaca "semua" atau "setiap") dan kuantor eksistensial (disimbolkan $\exists$, dibaca "ada", "sebagian", atau "beberapa") mengukur kuantitas objek di dalam suatu himpunan. Saat premis menyebutkan "Semua limbah B3 harus diolah di fasilitas khusus", pendekatan paling jelas adalah menggunakan diagram lingkaran himpunan: seluruh lingkaran objek B3 berada di dalam lingkaran fasilitas pengolahan khusus.

Meski begitu, kedua ranah logika ini tetap beririsan. Pernyataan kuantor universal "Semua $X$ adalah $Y$" secara formal ekuivalen dengan proposisi bersyarat: $\forall x (X(x) \to Y(x))$, yang berarti "Untuk setiap objek $x$, jika $x$ adalah anggota $X$, maka $x$ pasti anggota $Y$".

Menarik Kesimpulan Dua Kuantor

Silogisme yang menggabungkan premis 'semua' dan 'sebagian' umumnya akan menghasilkan kesimpulan akhir 'sebagian'. Menarik kesimpulan yang sah merupakan langkah wajib sebelum kita melangkah ke tahap negasi.

Mari kita petakan premis dari soal ke dalam bentuk simbolik dan diagram himpunan:

• Premis 1 (Kuantor Universal): $\forall x (B3(x) \to Khusus(x))$Artinya: Semua limbah B3 wajib diolah di fasilitas khusus (lingkaran B3 sepenuhnya berada di dalam lingkaran Fasilitas Khusus).

• Premis 2 (Kuantor Eksistensial): $\exists x (Tekstil(x) \land B3(x))$Artinya: Sebagian limbah pabrik tekstil adalah limbah B3 (ada irisan antara himpunan limbah Tekstil dan himpunan B3).

Karena ada bagian limbah tekstil yang menempati area B3, dan setiap anggota B3 pasti berada di dalam Fasilitas Khusus, maka bagian limbah tekstil tersebut otomatis berada di dalam lingkaran Fasilitas Khusus. Kesimpulan sah yang terbentuk adalah:

$$\exists x (Tekstil(x) \land Khusus(x))$$

Diterjemahkan ke kalimat: "Sebagian limbah pabrik tekstil harus diolah di fasilitas khusus."

Merumuskan Negasi Kuantor

Negasi dari kuantor eksistensial 'sebagian' adalah kuantor universal 'semua' yang disertai penyangkalan pada bagian predikatnya. Memahami hukum pertukaran kuantor memastikan kita tidak tertipu oleh pilihan kalimat yang sekadar terdengar berlawanan.

Berdasarkan Hukum De Morgan untuk logika predikat (prinsip pertukaran kuantor), negasi dari pernyataan eksistensial $\exists x P(x)$ secara ekuivalen dibalik menjadi pernyataan universal $\forall x [\neg P(x)]$:

$$\neg [\exists x (Tekstil(x) \land Khusus(x))] \equiv \forall x (Tekstil(x) \to \neg Khusus(x))$$

Artinya, pernyataan aslinya "Ada/sebagian limbah pabrik tekstil yang diolah di fasilitas khusus" dibantah menjadi: "Semua limbah pabrik tekstil TIDAK diolah di fasilitas khusus". Dalam bahasa Indonesia baku, kalimat ini sama artinya dengan: "Tidak ada limbah pabrik tekstil yang diolah di dalam fasilitas khusus" (Opsi C, jawaban yang benar).

Mari kita evaluasi pengecoh lainnya:

• Opsi A ("Seluruh limbah pabrik tekstil wajib diolah...") salah karena hanya mengubah kata 'sebagian' menjadi 'seluruh' tanpa menegasikan predikat kewajibannya. Pernyataan ini justru memperkuat kesimpulan awal.

• Opsi B ("Sebagian limbah pabrik tekstil tidak perlu diolah...") salah secara logika formal. Pernyataan "Sebagian $A$ adalah $B$" dan "Sebagian $A$ bukan $B$" bisa bernilai benar secara bersamaan di dunia nyata, sehingga keduanya bukan merupakan negasi (kontradiksi mutlak).