Silogisme: Memaknai Semua, Sebagian, dan Tidak Satu Pun

Tujuan belajar

• Membedakan makna logis semua, sebagian, tidak satu pun, dan sebagian tidak.
• Menarik kesimpulan yang benar-benar mengikuti premis tanpa menambah asumsi.
• Menguji pernyataan negatif dan arah hubungan antarkelompok.

Ringkasan

Silogisme memakai pernyataan yang diberikan sebagai premis, lalu menilai apakah kesimpulan pasti benar jika premis dianggap benar. Pengetahuan sehari-hari tidak boleh menggantikan informasi premis.

Kata kuantor seperti semua dan sebagian membatasi banyaknya anggota yang dibicarakan. Materi ini berfokus pada logika konsep, bukan jadwal atau aturan seleksi tertentu.

Analogi sederhana

Tiga kotak label mewakili kelompok buku referensi, atlas, dan majalah. Kotak membantu membayangkan irisan, tetapi tidak membuktikan hubungan yang tak disebut.

Konsep inti

• Semua A adalah B berarti setiap anggota A berada dalam kelompok B. Pernyataan ini tidak berarti setiap B juga A; semua mawar adalah bunga tidak membuat semua bunga menjadi mawar.
• Sebagian A adalah B berarti ada minimal satu anggota yang termasuk A dan B sekaligus. Kata sebagian tidak otomatis berarti sebagian besar atau hanya satu orang.
• Tidak satu pun A adalah B berarti kelompok A dan B tidak beririsan. Ini berbeda dari sebagian A bukan B, yang hanya menjamin ada anggota A di luar B.
• Dari semua A adalah B dan semua B adalah C, kita dapat menyimpulkan semua A adalah C. Namun dari semua A adalah B saja, kita tidak dapat menyimpulkan semua B adalah A.

Langkah penyelesaian

Contoh soal

Soal: Semua petugas loket mengenakan kartu identitas. Semua yang mengenakan kartu identitas tercatat dalam daftar akses. Kesimpulan apa yang pasti?

Cara berpikir

Premis pertama menempatkan seluruh petugas loket dalam kelompok pemakai kartu identitas. Premis kedua menempatkan seluruh pemakai kartu dalam kelompok yang tercatat.

Ikuti rantai dari kelompok paling sempit ke kelompok yang lebih luas: petugas loket, pemakai kartu, lalu orang yang tercatat. Maka semua petugas loket tercatat dalam daftar akses. Kita tidak boleh membalik kesimpulan menjadi semua orang yang tercatat adalah petugas loket.

Tips ujian

• Garisbawahi kata semua, sebagian, tidak satu pun, dan bukan.
• Uji kesimpulan yang terlalu luas dengan satu contoh tandingan yang masih sesuai premis.
• Bedakan kesimpulan pasti dari kesimpulan yang hanya masuk akal di dunia nyata.

Kesalahan umum

• Membalik kalimat semua A adalah B menjadi semua B adalah A. Koreksinya, pertahankan panah hanya dari A menuju B.
• Mengartikan sebagian sebagai mayoritas. Koreksinya, baca sebagian hanya sebagai adanya minimal satu anggota yang memenuhi hubungan.
• Menganggap dua kelompok yang tidak disebut berhubungan pasti tidak beririsan. Koreksinya, jangan simpulkan apa pun tentang keduanya tanpa premis penghubung.

Kartu ingatan

Apa arti semua A adalah B?

Setiap A termasuk B; tidak berarti setiap B adalah A. Jaga arah panah.

Apa arti sebagian A adalah B?

Sedikitnya satu anggota termasuk kedua kelompok. Jumlah pastinya tidak diketahui.

Apa arti tidak satu pun A adalah B?

Tidak ada anggota bersama. Kedua kelompok tidak beririsan menurut premis.

Kapan kesimpulan disebut pasti?

Kesimpulan harus benar dalam semua keadaan yang memenuhi premis. Satu kontra-contoh menggugurkannya.

Cek pemahaman

Semua analis adalah pegawai. Kesimpulan mana yang pasti?

• A. Semua pegawai adalah analis
• B. Semua analis adalah pegawai
• C. Tidak ada analis yang pegawai

Kunci: B

Pembahasan: B mengulang hubungan yang memang dinyatakan dalam premis dan tidak membalik arah. A dan C menambah hubungan yang tidak didukung atau bertentangan dengan premis.

Sebagian arsip adalah digital. Apa yang dijamin kalimat itu?

• A. Semua arsip digital
• B. Tidak ada arsip kertas
• C. Ada arsip yang digital

Kunci: C

Pembahasan: Sebagian menjamin adanya setidaknya satu arsip digital. A dan B mengubah pernyataan terbatas menjadi klaim tentang seluruh kelompok.

Tidak satu pun map biru adalah map rusak. Hubungan apa yang benar?

• A. Kelompok map biru dan map rusak tidak beririsan
• B. Ada map biru yang rusak
• C. Semua map rusak berwarna biru

Kunci: A

Pembahasan: Tidak satu pun menyatakan tidak ada anggota bersama antara dua kelompok. B bertentangan langsung, sedangkan C membalik hubungan dan menambahkan klaim universal.

Rangkuman 60 detik

• Semua A masuk B, bukan sebaliknya.
• Sebagian berarti ada anggota yang memenuhi.
• Tidak satu pun berarti tidak ada irisan.
• Negasi mengubah cakupan klaim.
• Kesimpulan harus mengikuti premis saja.