Examples of universal quantification
Let M(x) denote “x is mortal”, and H(x) denote “x is a human”.
Express the statement “everyone is mortal”.
--- ?x M(x), if the universe of discourse is the set of all humans
--- ?x[H(x)?M(x)], if the universe of discourse is the set of
all things and creatures.
Let the universe of discourse be the set of the following 4 numbers:
Express ?xP(x) without a quantifier.
--- P(1) ? P(2) ? P(3) ? P(4)