Conversion To Prenex Form
Every first-order formula is logically equivalent (in classical logic) to some formula in prenex normal form. There are several conversion rules that can be recursively applied to convert a formula to prenex normal form. The rules depend on which logical connectives appear in the formula.
Read more about this topic: Prenex Normal Form
Famous quotes containing the words conversion and/or form:
“The conversion of a savage to Christianity is the conversion of Christianity to savagery.”
—George Bernard Shaw (1856–1950)
“Every neurosis is a primitive form of legal proceeding in which the accused carries on the prosecution, imposes judgment and executes the sentence: all to the end that someone else should not perform the same process.”
—Lionel Trilling (1905–1975)