semantic of first order logic
معنا شناسی منطق مرتبه اول
تابع ارزش
truth funtion
valid sentence
جمله درست
Tarski truth
صدق تارسکی
ارزش در مدل
truth in model