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:
“[One cannot express lack of knowledge in affirmative language.] This idea is more firmly grasped in the form of interrogation: “What do I know?”Mthe words I bear as a motto, inscribed over a pair of scales.”
—Michel de Montaigne (1533–1592)