您搜索了: prenex (英语 - 西班牙语)

prenex normal form
forma prenexa

this is not the only prenex form equivalent to the original formula.
esta no es la única forma prenexa equivalente a la fórmula original.

every formula in classical logic is equivalent to a formula in prenex normal form.
toda fórmula es equivalente en lógica clásica a una fórmula en forma prenexa.

in intuitionistic logic, it is not true that every formula is logically equivalent to a prenex formula.
en lógica intuicionista no sucede que toda fórmula es lógicamente equivalente a una fórmula prenexa.

there are several conversion rules that can be recursively applied to convert a formula to prenex normal form.
hay algunas reglas de conversión que pueden ser aplicadas recursivamente para convertir una fórmula a forma prenexa.

=== intuitionistic logic ===the rules for converting a formula to prenex form make heavy use of classical logic.
=== lógica intuicionista ===las reglas para convertir una fórmula a una en forma prenexa hace engorroso el manejo de la lógica clásica.

a formula of first-order logic is in skolem normal form (named after thoralf skolem) if it is in prenex normal form with only universal first-order quantifiers.
una fórmula de la lógica de primer orden se considera expresada en forma normal de skolem si su forma normal prenexa solamente contiene cuantificadores universales.