المحدد الكمي الوجودي (∃)، الذي يُستخدم في المنطق الرياضي والفلسفة، هو رمز يعبر عن الوجود. هذا الرمز يُستخدم بشكل رئيسي في المنطق الكمي (أو المنطق الرياضي) للإشارة إلى أن هناك عنصرًا معينًا يحقق خاصية معينة. على سبيل المثال، "∃x P(x)" تعني "يوجد x بحيث أن P(x) صحيحة".
أما من حيث مكتشف هذا الرمز، فإن الفيلسوف والمنطقي غوتلوب فريج (Gottlob Frege) كان أول من قدم الرموز المنطقية الحديثة التي تشمل الرموز الكمية. وفي حين أن فريج كان قد أسس العديد من المفاهيم التي نشأت منها المنطق الكمي، فإن بيرتراند راسل و ألفريد نورث وايتهد هم الذين وضعوا الأساس الرياضي لما يُعرف الآن بـ المنطق الكمي في كتابهم الشهير Principia Mathematica الذي نُشر في أوائل القرن العشرين.
خلاصة:
غوتلوب فريج هو أول من قدم الرموز المنطقية التي تتضمن الكميات مثل "الوجود" (∃) في أعماله في أواخر القرن التاسع عشر. ولكن المنطق الكمي تطور بشكل أكبر من خلال أعمال راسل و وايتهد.
