متغیر آزاد؛ در منطق و ریاضی متغیری که با هیچ کمیتگذار (مثل ∀، ∃) مقید نشده و میتواند هر مقداری بگیرد.
اسم (noun) 📌 (در حساب تابعی) متغیری که در یک تابع جملهای وجود دارد و در محدوده هیچ سورِ حاوی آن نیست.
