Here we will sum up statements with or without variables.
If is a statement without variables, it has truth values. There are only two truth values: true or false.
On the other hand, is a statement with variable . It has a truth set, where each is the set is a value that makes true. It is possible that all in the universe makes true; or there are only some values that make it true.
: ” 3 is a prime number.” is a statement, and there is no variable. The truth value of depends on itself and nothing else.
: “ is a prime number.” is a statement, and is the variable. The truth set of is the set of all prime numbers, which is a subset of .
Quantifiers bind variables, and they only make sense for statements with variables. Both and have no free variable, and therefore become statements. They now have only truth values true and false.
As and are really the shorthand notation for and , the truth value would depend on both and the universe .
In our previous example of, adding the universal quantifier makes the statement into , which means “all are prime.” This statement is either true or false. It is true, if the universe we choose is the set of all prime numbers, and false if the universe is all integers .
Similarly, the existential quantifier makes the statement into , which means “there are some that is prime.” This statement is either true or false. If the intersection of the universe and the set of prime numbers is non-empty, for example , then the statement is true. If the universe doesn’t contain any prime numbers, for example , then the statement is false.