پرش به محتوا

فرمول باز

از ویکی‌پدیا، دانشنامهٔ آزاد

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

مثال

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

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

[ویرایش]

منابع

[ویرایش]