quantified proposition

[ریاضیات] گزاره ی مسور، قضیه ی محصوره