In general, a statement of the form formula_3 is true if there is an "x" in the universe of discourse satisfying the predicate formula_4, and is false otherwise. An existence quantifier is different from a universal quantifier, which is used to state that a proposition is true for "all" elements in the universe of discourse. 