سور (منطق)
یک سور (به انگلیسی: quantifier) در منطق، یک عملگر است که تعیینکننده آن است که «چند مورد» در دامنه سخن یک فرمول باز را برآورده میسازد. برای مثال سور عمومی
"سور" کلمهای عربی است و به معنای (بارو) حصار و دیوار گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص میکنند. از نظر منطقدانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمرو شهر را مشخص میکند و الفاظ (سورها) به کار رفته در گزاره نماها، مرز و قلمرو اشیا مورد استفاده در گزاره نماها را تعیین میکنند. سورها به دو دستهٔ سورهای وجودی و عمومی تقسیم میشوند.
جستارهای وابسته
پانویس
منابع
مشارکتکنندگان ویکیپدیا. «Quantifier (logic)». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۴ آوریل ۲۰۲۱.