سور وجودی

در منطق گزاره‌ای، سمبل $\exists \;$ که به صورت "وجود دارد" خوانده می‌شود، سور وجودی نام دارد.

در نظر بگیرید که می‌خواهید گزاره ای بنویسید که تنها در صورتی درست است که در مجموعه اعداد طبیعی، حاصل ضرب یک عدد در حودش برابر ۲۵ شود. یعنی برای یک عدد طبیعی:

n.n = ۲۵

۵ یک عدد طبیعی است که وقتی آن را جایگزین n در رابطه فوق کنیم، به گزاره‌ای درست تبدیل خواهد شد. در حقیقت برای ما مهم نیست که عبارت n.n = ۲۵ برای بیشتر اعداد طبیعی ویا به طور دقیق تر برای همه آنها به جز عدد ۵ نادرست است. حتی یک نمونه درست برای ما کافیست تا بگوئیم این گزاره در دامنه خود که اعداد طبیعی است درست است. این جمله را به شکل ریاضی نیز می‌توان نوشت. اگر گزاره (P(a ، b ، c به این صورت تعریف شود که a.b = c و $\mathbb{N}$ مجموعه اعداد طبیعی باشد:

$\exists \; n \in \mathbb{N} P(n, n, 25)$

منابع

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