Kuantifikasi eksistensial

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. Kuantifikasi eksistensial berbeda dari kuantifikasi universal, yang menegaskan bahwa sifat atau relasi untuk semua anggota domain. Beberapa sumber menggunakan istilah eksistensialisasi untuk merujuk pada kuantifikasi eksistensial.