Results for prenex translation from English to Spanish

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.