quantified expression

[ریاضیات] گزاره های دارای سور، عبارت سور دار