用existential quantifier造句子，“existential quantifier”造句

Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.

quasi-limited existential quantifier