Question: what is the difference between existential and universal?
Answer: A universal statement is a statement that is true if, and only if, it is true for every predicate variable within a given domain. ... An existential statement is a statement that is true if there is at least one variable within the variable's domain for which the statement is true.