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:
“At any rate, let us love for a while, for a year or so, you and me. That’s a form of divine drunkenness that we can all try.”
—F. Scott Fitzgerald (1896–1940)