Her (∀) niceleyicisi (Evrensel niceleyici) Test 2

Bir şirkette çalışan tüm mühendislerin maaşı 10.000 TL'den fazladır. Bu durumun sembolik mantıkla ifadesi aşağıdakilerden hangisidir? (M: mühendisler kümesi, Y(x): x'in maaşı 10.000 TL'den fazladır)

A) ∃x ∈ M, Y(x)
B) ∀x ∈ M, Y(x)
C) ∀x ∈ M, ¬Y(x)
D) ∃x ∈ M, ¬Y(x)