فرمول باز

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

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

جستارهای وابسته 
 حساب محمولات
 سور
 محمول

منابع 

 

آموزش ریاضی
منطق گزاره‌ای
عبارات منطقی