سور وجودی

در منطق گزاره‌ای، سمبل  سور وجودی نام گرفته و آن‌را بیان می‌کنیم: "وجود دارد" ، " به ازای بعضی مقادیر " .
_ گزاره نمای شامل متغیر x که با سور وجودی همراه می شود ، وقتی درست است که مجموعه ی جواب آن تهی نباشد .
مثال : در نظر بگیرید می‌خواهیم گزاره‌ای بنویسیم که تنها در صورتی درست است که در مجموعه‌ی اعداد طبیعی، حاصل‌ضرب یک عدد در خودش برابر ۲۵ شود. یعنی برای یک عدد طبیعی:
 n.n = ۲۵

۵ یک عدد طبیعی است و اگر آن را جایگزین n در رابطهٔ فوق کنیم، آن رابطه به گزاره‌ای درست تبدیل خواهد شد. در حقیقت برای ما مهم نیست که عبارت n.n = ۲۵ برای بیشتر اعداد طبیعی به‌جز عدد ۵ نادرست است. حتی یک نمونهٔ درست هم برای ما کافیست تا بگوییم این گزاره در دامنهٔ خود، که همان دامنهٔ اعداد طبیعی است درست می‌باشد. این جمله را به شکل ریاضی نیز می‌توان نوشت. اگر گزارهٔ (P(a, b, c
به این صورت تعریف شود که "a.b = c" و  همان مجموعه اعداد طبیعی باشد:

منابع 

 http://en.wikipedia.org/wiki/Existential_quantification

سور
منطق
نمادهای منطقی