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