Use of Prenex Form
Some proof calculi will only deal with a theory whose formulae are written in prenex normal form. The concept is essential for developing the arithmetical hierarchy and the analytical hierarchy.
Gödel's proof of his completeness theorem for first-order logic presupposes that all formulae have been recast in prenex normal form.
Read more about this topic: Prenex Normal Form
Famous quotes containing the word form:
“Industrial societies turn their citizens into image-junkies; it is the most irresistible form of mental pollution. Poignant longings for beauty, for an end to probing below the surface, for a redemption and celebration of the body of the world. Ultimately, having an experience becomes identical with taking a photograph of it.”
—Susan Sontag (b. 1933)