¿Qué es?
Es la forma formal de una fórmula. Estas es así si, y solo si presenta la siguiente estructura:
donde Qi son Cuantificadores (Predicado)
Es decir, una fórmula estará expresada en forma normal prenexa cuando todos los cuantificadores están agrupados a su izquierda (la parte denominada prefijo) y, consecuentemente, no aparece ningún cuantificador a su derecha (la parte denominada matriz).