ارضا شدن
satisfaction
semantic of first order logic
معنا شناسی منطق مرتبه اول
تابع ارزش
truth funtion
hypothesis
فرض
language
زبان
Tarski truth
صدق تارسکی
ارزش در مدل
truth in model