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:

    “A universal and perpetual peace, it is to be feared, is in the catalogue of events which will never exist but in the imaginations of visionary philosophers, or in the breasts of benevolent enthusiasts.”
    —James Madison (1751–1836)