عبارت زمینه

در منطق ریاضیاتی، یک جمله زمینه  در یک سیستم صوری، یک جمله است، که در آن هیچ متغیر آزادی وجود ندارد. به صورت مشابه یک فرمول زمینه  فرمولی است که در آن هیچ متغیر آزادی وجود ندارد.

یک عبارت زمینه  می‌تواند یا به «جمله زمینه» یا به «فرمول زمینه» اشاره کند.

مثال‌ها 
 در منطق مرتبه اول، جملهٔ  ی یک فرمول زمینه است.

عبارت‌های زیر را در منطق مرتبه اول در یک دستینه (امضا) که شامل یک نماد ثابت ۰ برای عدد ۰، یک نماد تابع یکتا ی s برای «تابع بعدی» و یک نماد تابع دودویی + برای «جمع» را در نظر بگیرید:
  جمله‌های زمینه اند.
  جمله‌های زمینه اند.
  و  جمله هستند ولی جمله زمینه نیستند.
  و  فرمول‌های زمینه اند.
  و  عبارات زمینه اند.

منابع 

عبارات منطقی
منطق ریاضی