فرمول باز

فرمول باز (انگلیسی: Open formula) به هر فرمول خوش فرم گفته می‌شود که دست‌کم یک متغیر آزاد داشته باشد. گاهی از عبارت جملهٔ باز (به انگلیسی: open sentence) برای اشاره به این مفهوم استفاده می‌شود ولی این عبارت با تعریف «جمله» به عنوان «فرمولی که متغیر آزاد ندارد» در تضاد است.

مثال

• ۳x − ۹ = ۲۱ یک متغیر آزاد x=۱۰ دارد.
• x + y = ۰ دو متغیر آزاد x و y دارد.
• ۳x + ۹ = ۳x + ۹ یک متغیر آزاد دارد که برابر با مجموعهٔ همهٔ اعداد حقیقی است.
• ۳x + ۹ = ۳x + ۱۲ یک متغیر آزاد دارد که جوابی ندارد.

جستارهای وابسته

• حساب محمولات
• سور
• محمول

منابع

• مشارکت‌کنندگان ویکی‌پدیا. «Open formula». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۵ نوامبر ۲۰۱۸.