سور (منطق)

یک سور (به انگلیسی: quantifier) در منطق، یک عملگر است که تعیین‌کننده آن است که «چند مورد» در دامنه سخن یک فرمول باز را برآورده می‌سازد. برای مثال سور عمومی ${\displaystyle \mathrm{\forall }}$

"سور" کلمه‌ای عربی است و به معنای (بارو) حصار و دیوار گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص می‌کنند. از نظر منطق‌دانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمرو شهر را مشخص می‌کند و الفاظ (سورها) به کار رفته در گزاره نماها، مرز و قلمرو اشیا مورد استفاده در گزاره نماها را تعیین می‌کنند. سورها به دو دستهٔ سورهای وجودی و عمومی تقسیم می‌شوند.