Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
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.