متغیر ازاد

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

💡 جهانیست که از آن، فرمولها ارزیابی می‌شوند. ابتدا، یک متغیر آزاد

💡 y یک متغیر آزاد است، و x یک متغیر مقید است؛ در نتیجه مقدار این عبارت به مقدار y بستگی دارد؛ اما هیچ مقدار x ای وجود ندارد که مقدار عبارت بتواند به آن وابسته باشد.

💡 n یک متغیر آزاد است و k یک متغیر مقید می‌باشد. مقدار این عبارت به مقدار n بستگی دارد، اما چیزی که k نامیده شود و مقدار عبارت بتواند به آن وابسته شود، وجود ندارد.

💡 در برنامه‌نویسی رایانه‌ای، عبارت متغیر آزاد به عبارتی اشاره دارد که در یک تابع استفاده می‌شود، ولی نه متغیر محلی است و نه پراسنجه آن تابع است. عبارت متغیر غیرمحلی به عنوان مترادف در این زمینه استفاده می‌شود.

💡 آنچه مهم است، وجود متغیر آزاد (و نه مقدار درستی غیرثابت) است، برای مثال حتی در ساختار اعداد مختلط، که در آن بیانیه بالا همیشه درست است، یک این فرمول «جمله» محسوب نمی‌شود. اما چنین فرمولی را می‌توان یک گزاره در نظر گرفت.