Scott sentence
preferred label: جمله اسکات @fa
type: Concept
broader: term

negation
preferred label: نقیض @fa
type: Concept
related: term

logical connectives
preferred label: ادات منطقی @fa
type: Concept
related: term

sentence
preferred label: جمله @fa
type: Concept
related: term

quantifier free formula
preferred label: فرمول بدون سور @fa
type: Concept
related: term

ground term
preferred label: جمله زمینه @fa
type: Concept
broader: term

atomic formula
preferred label: فرمول اتمی @fa
type: Concept
related: term

language
preferred label: زبان @fa
type: Concept
related: term

comlpexity of term
preferred label: پیچیدگی جمله @fa
type: Concept
broader: term

formula
preferred label: فرمول @fa
type: Concept
related: term

logical operations
preferred label: عملیات منطقی @fa
type: Concept
related: term

term
related: atomic formula
related: logical operations
related: assertion
related: quantifier free formula
related: negation
related: language
related: logical connectives
related: formula
related: sentence
narrower: comlpexity of term
narrower: Scott sentence
narrower: ground term
type: Concept
preferred label: عبارت) جمله) @fa
broader: first order structures

assertion
preferred label: تصدیق @fa
type: Concept
related: term

first order structures
preferred label: ساختارهای مرتبه‌اول @fa
type: Concept
narrower: term