Định Nghĩa và Ý Nghĩa của "existential quantifier"

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true