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:

    “If only nature is real and if, in nature, only desire and destruction are legitimate, then, in that all humanity does not suffice to assuage the thirst for blood, the path of destruction must lead to universal annihilation.”
    —Albert Camus (1913–1960)