Rangkuman
Kalimat berkuantor adalah kalimat yang memiliki suatu istilah yakni untuk menjelaskan "berapa banyak anggota" yang ada dalam suatu kalimat. Fungsi dari suatu kalimat kauntor adalah memberikan anggota-anggota dan mengubah kalimat terbuka menjadi kalimat tertutup dikarenakan telah memberikan nilai kebenaran dalam suatu anggota. Dalam kalimat kuantor terdapat dua jenis, yakni kuantor semesta dan juga kuantor eksistensial.
Quantifier atau kuantor adalah kata yang mendahului kata benda sebagai fungsi untuk menunjukkan jumlah dari benda tersebut. Sehingga, pernyataan berkuantor merupakan pernyataan yang mengandung ukuran kuantitas atau jumlah. Kata yang digunakan sebagai penunjuk kuantitas/jumlah biasanya adalah semua, beberapa, ada, dan lain sebagainya. Dalam bahasan logika matematika, pernyataan berkuantor terdiri dari dua kelompok berdasarkan penggunaan kuantornya. Kedua kelompok pernyataan berkuantor tersebut adalah pernyataan dengan kuantor universal (kuantor umum) dan kuantor eksistensial (kuantor khusus).
Antara dua bentuk pernyataan berkuantor ini saling berkebalikan. Kuantor universal menjadi negasi/ingkaran untuk kuantor eksistensial. Begitu juga untuk kondisi sebaliknya.