A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).
Every formula in classical logic is equivalent to a formula in prenex normal form. For example, if, and are quantifier-free formulas with the free variables shown then
is in prenex normal form with matrix, while
is logically equivalent but not in prenex normal form.
Read more about Prenex Normal Form: Conversion To Prenex Form, Use of Prenex Form
Famous quotes containing the words normal and/or form:
“A few ideas seem to be agreed upon. Help none but those who help themselves. Educate only at schools which provide in some form for industrial education. These two points should be insisted upon. Let the normal instruction be that men must earn their own living, and that by the labor of their hands as far as may be. This is the gospel of salvation for the colored man. Let the labor not be servile, but in manly occupations like that of the carpenter, the farmer, and the blacksmith.”
—Rutherford Birchard Hayes (1822–1893)
“As for the terms good and bad, they indicate no positive quality in things regarded in themselves, but are merely modes of thinking, or notions which we form from the comparison of things with one another. Thus one and the same thing can be at the same time good, bad, and indifferent. For instance music is good for him that is melancholy, bad for him who mourns; for him who is deaf, it is neither good nor bad.”
—Baruch (Benedict)