Kuantifikasi eksistensial itu apa sih?

Dalam logika predikat, kuantifikasi eksistensial adalah jenis kuantifer, konstanta logika yang ditafsirkan sebagai "ada", "setidaknya ada satu", atau "untuk beberapa". Dilambangkan dengan operator logika simbol ∃, jika digunakan bersama dengan variabel predikat, disebut kunatifer eksistensial ("" or ""). Kuantifikasi eksistensial berbeda dari kuantifikasi universal ("untuk semua"), yang menegaskan bahwa sifat atau relasi untuk semua anggota domain. Beberapa sumber menggunakan istilah eksistensialisasi untuk merujuk pada kuantifikasi eksistensial.