Logika Kuantor: Universal Dan Eksistensial

Halo semuanya! Kali ini kita akan mempelajari Logika Kuantor dalam materi Penalaran Deduktif UTBK PU. Logika ini digunakan untuk menyatakan jumlah objek dalam suatu kelompok.

Pertama, Kuantor Universal. Kata kuncinya adalah Semua, Setiap, atau Seluruh, dengan simbol matematika untuk setiap x, P x. Seperti pada diagram Venn, di mana seluruh kelompok Siswa berada di dalam lingkaran Orang Rajin.

Kedua, Kuantor Eksistensial. Kata kuncinya adalah Ada, Beberapa, atau Sebagian, yang disimbolkan dengan terdapat x, P x. Visualisasinya menunjukkan adanya irisan antara himpunan Siswa dan kelompok Rajin.

Sekarang kita bahas Negasi atau Ingkaran Kuantor. Aturan pertama, negasi 'Semua' adalah 'Ada yang tidak'. Aturan kedua, negasi 'Ada' adalah 'Semua tidak', sesuai dengan rumus ekuivalensi yang tertera di layar.

Mari lihat contoh soal. Tentukan negasi dari pernyataan yang diberikan. Dengan menerapkan rumus tadi, kita bisa langsung menuliskan jawaban yang tepat dengan cepat.

Itulah pembahasan kita mengenai Logika Kuantor. Terus semangat berlatih dan selamat belajar!