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)
“Now only a dent in the earth marks the site of these dwellings, with buried cellar stones, and strawberries, raspberries, thimble-berries, hazel-bushes, and sumachs growing in the sunny sward there.... These cellar dents, like deserted fox burrows, old holes, are all that is left where once were the stir and bustle of human life, and “fate, free will, foreknowledge absolute,” in some form and dialect or other were by turns discussed.”
—Henry David Thoreau (1817–1862)