existential quantifier

🌐 سور وجودی

اسم (noun)

📌 یک کمیت‌سنج که نشان می‌دهد تابع جمله‌ای در محدوده‌اش، حداقل برای یک مقدار از متغیر موجود در کمیت‌سنج، درست است.