Scott sentence
جمله اسکات
نقیض
negation
ادات منطقی
logical connectives
sentence
جمله
quantifier free formula
فرمول بدون سور
ground term
جمله زمینه
atomic formula
فرمول اتمی
language
زبان
comlpexity of term
پیچیدگی جمله
فرمول
formula
logical operations
عملیات منطقی
assertion
تصدیق
term
عبارت) جمله)
first order structures
ساختارهای مرتبه‌اول