ارضا شدن
preferred label: satisfaction @en
type: Concept
related: ارزش در مدل

معنا شناسی منطق مرتبه اول
preferred label: semantic of first order logic @en
type: Concept
related: ارزش در مدل

تابع ارزش
preferred label: truth funtion @en
type: Concept
narrower: ارزش در مدل

فرض
preferred label: hypothesis @en
type: Concept
related: ارزش در مدل

زبان
preferred label: language @en
type: Concept
related: ارزش در مدل

صدق تارسکی
preferred label: Tarski truth @en
type: Concept
related: ارزش در مدل

ارزش در مدل
related: معنا شناسی منطق مرتبه اول
related: فرض
related: زبان
related: صدق تارسکی
related: ارضا شدن
broader: تابع ارزش
type: Concept
preferred label: truth in model @en