متغیر پابند

{bound variable} [ریاضی] متغیری که مقید به سور است و نمی توان یک ثابت به جای آن قرار داد

متغیری که مقید به سور است و نمی‏توان یک ثابت به جای آن قرار داد.

💡 را برآورده می‌سازد. فرمولی که در آن یک سور، گسترده‌ترین دامنه‌اش را می‌گیرد، یک فرمول کمی‌شده (به انگلیسی: quantified formula) نام دارد. یک فرمول کمی‌شده که باید حتماً شامل یک متغیر پابند، و یک زیرفرمول (که تعیین‌کننده یک ویژگی از مرجع آن متغیر است) باشد.