universal quantifier
سور عمومی
quantifier
سور
فرمول
formula
first order language
زبان مرتبه اول
quantifier depth
عمق سور
predicate logic
منطق محمولات
quantified statement
عبارت مسور
existential quantifier
سور وجودی
bounded quantifier
سور کراندار
language
زبان