 For example, if P("x") is the propositional function "x is married", then, for a universe of discourse X of all living human beings, the universal quantification
Given any living person "x", that person is married
is given