A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).
Every formula in classical logic is equivalent to a formula in prenex normal form. For example, if, and are quantifier-free formulas with the free variables shown then
is in prenex normal form with matrix, while
is logically equivalent but not in prenex normal form.
Read more about Prenex Normal Form: Conversion To Prenex Form, Use of Prenex Form
Famous quotes containing the words normal and/or form:
“The basic thing nobody asks is why do people take drugs of any sort?... Why do we have these accessories to normal living to live? I mean, is there something wrong with society that’s making us so pressurized, that we cannot live without guarding ourselves against it?”
—John Lennon (1940–1980)
“A true poem is distinguished not so much by a felicitous expression, or any thought it suggests, as by the atmosphere which surrounds it. Most have beauty of outline merely, and are striking as the form and bearing of a stranger; but true verses come toward us indistinctly, as the very breath of all friendliness, and envelop us in their spirit and fragrance.”
—Henry David Thoreau (1817–1862)