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:
“The Republicans hardly need a party and the cumbersome cadre of low-level officials that form one; they have a bankroll as large as the Pentagon’s budget, dozens of fatted PACs, and the well-advertised support of the Christian deity.”
—Barbara Ehrenreich (b. 1941)