quantifier
سور
عبارت سوردار
predicate logic
منطق محمولات
عبارت
statement
quantified statement
عبارت مسور