Dalam logika predikat, kuantifikasi eksistensial adalah jenis kuantifer, konstanta logika yang ditafsirkan sebagai "ada", "setidaknya ada satu", atau "untuk...