بررسی گزاره
سور عمومی برای x به این معنی است که این گزاره برای همه اعداد طبیعی صدق می‌کند. اعداد طبیعی شامل اعداد ۱، ۲، ۳ و ... می‌شود.
سور وجودی برای y به این معنی است که حداقل یک عدد صحیح وجود دارد که این گزاره را برآورده می‌کند. اعداد صحیح شامل اعداد ...، -۳، -۲، -۱، ۰، ۱، ۲، ۳ و ... می‌شوند.
گزاره «x بزرگتر از y است» را بررسی می‌کنیم:
- کوچکترین عدد طبیعی ۱ است.
- اعداد صحیح می‌توانند بسیار کوچکتر از ۱ باشند، مثلاً -۱، -۲، -۳ و ... .
بنابراین، برای هر عدد طبیعی x، می‌توان یک عدد صحیح y یافت که کوچکتر از x باشد. مثلاً اگر x = ۱ باشد، y می‌تواند -۱ یا کوچکتر باشد.
پس گزاره داده شده درست است زیرا برای هر عدد طبیعی x، می‌توان یک عدد صحیح y پیدا کرد که x بزرگتر از y باشد.
