فرمول باز
فرمول باز (انگلیسی: Open formula) به هر فرمول خوش فرم گفته می‌شود که دست‌کم یک متغیر آزاد داشته باشد. گاهی از عبارت جملهٔ باز (به انگلیسی: open sentence) برای اشاره به این مفهوم استفاده می‌شود ولی این عبارت با تعریف «جمله» به عنوان «فرمولی که متغیر آزاد ندارد» در تضاد است.
مثال
[ویرایش]- ۳x − ۹ = ۲۱ یک متغیر آزاد x=۱۰ دارد.
- x + y = ۰ دو متغیر آزاد x و y دارد.
- ۳x + ۹ = ۳x + ۹ یک متغیر آزاد دارد که برابر با مجموعهٔ همهٔ اعداد حقیقی است.
- ۳x + ۹ = ۳x + ۱۲ یک متغیر آزاد دارد که جوابی ندارد.
جستارهای وابسته
[ویرایش]منابع
[ویرایش]- مشارکت‌کنندگان ویکی‌پدیا. «Open formula». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۵ نوامبر ۲۰۱۸.