Silogisme Kategoris: Membaca Semua, Sebagian, dan Tidak Ada

Ringkasan

Silogisme kategoris membandingkan kelompok dengan kuantor seperti semua, sebagian, dan tidak ada. Gambar hubungan sebagai lingkaran atau gunakan panah inklusi; setelah itu simpulkan hanya hal yang berlaku bagi seluruh anggota yang dipastikan ada.

Konsep inti

Arti kuantor

• Semua A adalah B: setiap anggota A berada di dalam kelompok B. Pada diagram, lingkaran A seluruhnya berada di dalam lingkaran B. Ini tidak berarti seluruh B adalah A.
• Tidak ada A yang B: kedua kelompok tidak beririsan. Jika suatu anggota A juga berada dalam C dan C tidak beririsan dengan B, anggota itu pasti bukan B.
• Sebagian A adalah B: ada sekurang-kurangnya satu anggota yang sekaligus A dan B. Kata sebagian tidak memastikan apakah ada satu, beberapa, atau hampir semua anggota.
• Sebagian A bukan B: ada sekurang-kurangnya satu anggota A di luar B. Pernyataan itu tidak berarti semua A berada di luar B.

Pada latihan silogisme, baca sebagian sebagai keberadaan setidaknya satu, kecuali soal memberi definisi lain. Sebaliknya, pernyataan semua tidak selalu menjamin kelompoknya mempunyai anggota. Dari semua anggota klub memiliki kartu, kita tidak boleh memastikan ada anggota klub jika keberadaan anggota tidak dinyatakan. Perbedaan antara hubungan kelompok dan keberadaan anggota menjadi sumber banyak jawaban salah.

Membuat diagram cepat

1. Tulis nama kelompok sebagai huruf, misalnya A, B, dan C.
2. Untuk semua A adalah B, gambar A di dalam B atau tulis A ⊆ B.
3. Untuk tidak ada A yang B, beri jarak atau tanda silang pada wilayah irisan.
4. Untuk sebagian A adalah B, letakkan satu tanda anggota pada area yang merupakan irisan A dan B.
5. Untuk sebagian A bukan B, letakkan tanda anggota di bagian A yang berada di luar B.

Jangan meletakkan tanda anggota di area yang lebih sempit daripada yang dijamin premis. Jika sebagian peneliti adalah pegawai, tanda itu berada di irisan peneliti dan pegawai, tetapi tidak boleh dipindah ke kelompok pegawai tetap kecuali ada premis yang mendukung.

Rantai dan batas kesimpulan

Jika semua A adalah B dan semua B adalah C, maka semua A adalah C. Hubungan dapat ditelusuri melalui rantai: A berada di dalam B, B di dalam C, jadi A berada di dalam C. Namun jika hanya sebagian B adalah C, kita tidak tahu apakah anggota A yang diketahui berada di B juga termasuk bagian B yang beririsan dengan C. Jangan menyimpulkan irisan yang belum dijamin.

Contoh lain: tidak ada kendaraan listrik yang menggunakan solar, dan sebagian kendaraan operasional adalah kendaraan listrik. Anggota kendaraan operasional yang berada di kelompok listrik pasti bukan pengguna solar. Kesimpulan aman ialah sebagian kendaraan operasional bukan pengguna solar. Tidak sah menyatakan seluruh kendaraan operasional bebas solar karena premis hanya menyebut sebagian yang listrik.

Untuk memeriksa opsi, uji apakah setiap gambaran yang memenuhi premis juga memenuhi kesimpulan. Jika satu susunan anggota kelompok dapat memenuhi premis tetapi membuat kesimpulan opsi salah, opsi itu tidak pasti benar. Teknik contoh tandingan ini sangat berguna untuk klaim universal seperti semua, tidak satu pun, dan selalu.

Contoh soal dan cara berpikir

Tidak ada formulir merah yang boleh diproses otomatis. Semua berkas kategori K adalah formulir merah. Apa yang pasti benar tentang berkas kategori K?

Langkah 1: Semua K berada di dalam kelompok formulir merah. Langkah 2: Kelompok formulir merah tidak beririsan dengan kelompok yang boleh diproses otomatis. Langkah 3: Karena K bagian dari formulir merah, K juga tidak beririsan dengan kelompok pemrosesan otomatis. Jadi tidak ada berkas kategori K yang boleh diproses otomatis. Jangan membalik hubungan dan mengatakan semua formulir merah adalah berkas K.

Menguji kesimpulan dengan diagram tandingan

Jika Anda ragu apakah kesimpulan mengikuti premis, gambar satu susunan kelompok lain yang masih menaati semua premis. Bila susunan itu membuat opsi menjadi salah, opsi tersebut bukan kesimpulan pasti. Misalnya, dari semua A adalah B kita boleh membayangkan ada anggota B yang bukan A; susunan itu membuktikan bahwa semua B adalah A tidak terjamin. Teknik ini lebih cepat daripada berdebat apakah pernyataan terdengar wajar.

Perhatikan juga perbedaan antara tidak ada, tidak semua, dan sebagian tidak. Tidak ada A yang B berarti seluruh A berada di luar B. Tidak semua A adalah B hanya menyangkal klaim bahwa seluruh A masuk B, tetapi belum tentu menjelaskan berapa yang berada di luar. Sebagian A bukan B secara eksplisit memastikan sedikitnya satu anggota A di luar B. Jangan menukar tiga bentuk ini.

Untuk tiga kelompok, letakkan satu kelompok di dalam kelompok lain hanya ketika premis menyatakan semua. Jika B beririsan dengan C, itu tidak otomatis berarti bagian A yang berada dalam B juga ikut beririsan dengan C. Tandai area yang mungkin kosong sebagai kosong hanya bila premis melarangnya. Jika tidak, jangan menghapus wilayah yang belum diketahui; wilayah kosong yang Anda asumsikan sendiri dapat menghasilkan jawaban yang tampak benar tetapi tidak sah.

Tips ujian

• Lingkari kuantor: semua, sebagian, tidak ada, atau sebagian tidak.
• Gambar kelompok paling luas dahulu, lalu masukkan kelompok yang lebih sempit.
• Gunakan tanda anggota hanya ketika premis menjamin ada anggota.
• Uji opsi universal dengan satu kemungkinan tandingan yang tetap memenuhi premis.

Kesalahan umum

• Membalik semua A adalah B menjadi semua B adalah A. A hanya subset dari B.
• Mengubah sebagian menjadi semua. Pertahankan batas keberadaan yang disebut.
• Menganggap semua berarti kelompok pasti ada. Universal tidak dengan sendirinya menyatakan keberadaan anggota.
• Menyatukan dua kelompok yang sekadar beririsan. Sebagian A adalah B tidak menjadikan A dan B kelompok yang sama.

Rangkuman 60 detik

• Semua: satu himpunan masuk ke himpunan lain.
• Tidak ada: dua himpunan tidak beririsan.
• Sebagian: ada minimal satu anggota pada wilayah yang disebut.
• Kesimpulan sah harus bertahan pada semua diagram yang sesuai dengan premis.