Logika Kuantor: Panduan Lengkap

Halo semuanya! Kali ini kita akan membahas Logika Kuantor, yaitu logika yang digunakan untuk menyatakan kuantitas suatu objek. Ada dua jenis utama: Universal dan Eksistensial.

Pertama, Kuantor Universal atau Semua, disimbolkan dengan for all x, P x. Kata kuncinya adalah Semua, Setiap, atau Seluruh. Pada diagram Venn, terlihat himpunan A berada di dalam B.

Kedua, Kuantor Eksistensial atau Ada, dengan simbol there exists x, P x. Kata kuncinya adalah Ada, Beberapa, atau Sebagian, yang ditunjukkan dengan irisan antara himpunan A dan B.

Sekarang kita bahas Negasi atau Ingkaran Kuantor. Aturannya: negasi dari universal ekuivalen dengan eksistensial p negatif, dan sebaliknya. Lawan dari 'Semua' adalah 'Ada yang tidak'.

Contoh soal UTBK: Tentukan ingkaran dari 'Semua siswa lulus ujian'. Kuantornya 'Semua', maka ingkarannya adalah 'Ada siswa yang tidak lulus ujian' sesuai rumus negasi universal menjadi eksistensial.

Itulah pembahasan lengkap mengenai logika kuantor. Pahami kata kunci dan perubahan simbolnya untuk menguasai materi ini. Sampai jumpa di video selanjutnya!