The universal quantifier
The universal quantification of P(x) is the proposition
“P(x) is true for all values of x in the universe of dicourse”
It is written as ?xP(x) and read as
Examples. Let the universe of discourse be the set of positive
integers. What is the truth value of: