Universal Quantification - Universal Closure

The universal closure of a formula φ is the formula with no free variables obtained by adding a universal quantifier for every free variable in φ. For example, the universal closure of

is

.

Read more about this topic:  Universal Quantification

Famous quotes containing the word universal:

    “They are universal places, like churches, hallowed meeting places of all mankind.”
    —Iris Murdoch (b. 1919)