Forma Prenexa

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una normalización sintáctica de fórmulas de primer orden que desplaza todos los cuantificadores al frente para producir una fórmula equivalente con un prefijo de cuantificadores seguido de una matriz sin cuantificadores.