سور (منطق)
From Wikipedia, the free encyclopedia
یک سور (به انگلیسی: quantifier) در منطق، یک عملگر است که تعیینکننده آن است که «چند مورد» در دامنه سخن یک فرمول باز را برآورده میسازد. برای مثال سور عمومی در فرمول مرتبه اول
بیان کننده آن است که هر چیزی در دامنه، باید ویژگی نشانداده شده با
را برآورده سازد. از جهت دیگر، سور وجودی
در فرمول
بیان میکند که موردی در دامنه وجود دارد که ویژگی
را برآورده میسازد. فرمولی که در آن یک سور، گستردهترین دامنهاش را میگیرد، یک فرمول کمیشده (به انگلیسی: quantified formula) نام دارد. یک فرمول کمیشده که باید حتماً شامل یک متغیر پابند، و یک زیرفرمول (که تعیینکننده یک ویژگی از مرجع آن متغیر است) باشد.