first order logic
preferred label: منطق مرتبه اول @fa
type: Concept
related: semantic of first order logic

cardinality of language
preferred label: قوت زبان @fa
type: Concept
related: semantic of first order logic

semantic of first order logic
type: Concept
preferred label: معنا شناسی منطق مرتبه اول @fa
related: first order language
related: cardinality of language
related: one-sorted language
related: first order logic
related: language
related: truth in model
narrower: Tarski truth
broader: semantic

first order language
preferred label: زبان مرتبه اول @fa
type: Concept
related: semantic of first order logic

one-sorted language
preferred label: زبان تک-گونه‌ای @fa
type: Concept
related: semantic of first order logic

language
preferred label: زبان @fa
type: Concept
related: semantic of first order logic

truth in model
preferred label: ارزش در مدل @fa
type: Concept
related: semantic of first order logic

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

semantic
preferred label: معنا شناسی @fa
type: Concept
narrower: semantic of first order logic