Pernyataan Berkuantor: Logika Matematika

Halo teman-teman! Hari ini kita akan membahas Pernyataan Berkuantor, yaitu pernyataan yang menyatakan jumlah atau kuantitas objek dalam suatu himpunan. Ada dua jenis: Kuantor Universal yang artinya semua atau setiap, dan Kuantor Eksistensial yang artinya ada atau beberapa.

Pertama, Kuantor Universal. Ditulis dengan simbol untuk setiap x berlaku sifat p x. Artinya, untuk setiap x, sifat tersebut harus terpenuhi. Contohnya: Semua siswa rajin. Pada diagram venn, ini terlihat seperti himpunan A yang berada sepenuhnya di dalam himpunan B.

Kedua, Kuantor Eksistensial. Ditulis dengan simbol ada x berlaku sifat p x. Ini berarti ada setidaknya satu x yang memiliki sifat tersebut. Contohnya: Beberapa orang jujur. Visualisasinya ditunjukkan dengan irisan antara dua lingkaran pada diagram venn.

Sekarang perhatikan Negasi atau ingkaran kuantor. Jika pernyataan menggunakan kata Semua, maka negasinya adalah Ada yang tidak. Sebaliknya, jika pernyataannya menggunakan kata Ada atau Beberapa, maka negasinya berubah menjadi Semua tidak.

Mari kita coba contoh soal UTBK. Tentukan negasi dari: Semua siswa lulus. Menggunakan rumus negasi semua p ekuivalen dengan ada yang tidak p, maka negasi dari semua lulus adalah Ada yang tidak lulus. Jadi, jawaban yang tepat adalah B.

Itulah pembahasan singkat kita kali ini. Selamat belajar dan semoga sukses!

Pahami perbedaan simbol universal dan eksistensial serta tabel negasinya agar kalian semakin mahir menjawab soal logika!