semantic of first order logic
preferred label: معنا شناسی منطق مرتبه اول @fa
type: Concept
narrower: Tarski truth

truth funtion
preferred label: تابع ارزش @fa
type: Concept
related: Tarski truth

valid sentence
preferred label: جمله درست @fa
type: Concept
related: Tarski truth

Tarski truth
related: valid sentence
related: truth funtion
related: truth in model
broader: semantic of first order logic
preferred label: صدق تارسکی @fa
type: Concept

truth in model
preferred label: ارزش در مدل @fa
type: Concept
related: Tarski truth