سور وجودی

در منطق گزاره‌ای، سمبل ${\displaystyle \exists \;}$

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