Apprendre à traduire à partir d'exemples de traductions humaines.
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
en lógica intuicionista no sucede que toda fórmula es lógicamente equivalente a una fórmula prenexa.
in intuitionistic logic, it is not true that every formula is logically equivalent to a prenex formula.
hay algunas reglas de conversión que pueden ser aplicadas recursivamente para convertir una fórmula a forma prenexa.
there are several conversion rules that can be recursively applied to convert a formula to prenex normal form.
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.
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.
=== 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.
=== intuitionistic logic ===the rules for converting a formula to prenex form make heavy use of classical logic.
forma normal puede referirse a:* forma normal (reescritura abstracta)* forma normal (base de datos)* forma normal (teoría de juego) - véase forma normal de juego* forma normal en matemática (también llamada forma canónica o forma estándar)* forma normal (música)en teoría del lenguaje formal:* forma normal de chomsky* forma normal de greibach* forma normal de kuroda* forma normal (reescritura abstracta), un elemento de un sistema de reescritura que no puede reescribir másen lógica:* forma normal algebraica* forma normal clausal* forma normal conjuntiva* forma normal disyuntiva* forma normal prenexa* forma normal de skolemen cálculo lambda:* forma normal beta==véase también==*normalización (desambiguación)*propiedad de normalización
normal form may refer to:* normal form (abstract rewriting)* normal form (databases)* normal form (game theory) - see normal-form game* normal form (mathematics) (often called canonical form or standard form)* normal form in musicin formal language theory:* chomsky normal form* greibach normal form* kuroda normal form* normal form (abstract rewriting), an element of a rewrite system which cannot be further rewrittenin logic:* algebraic normal form* clausal normal form* conjunctive normal form* negation normal form* prenex normal form* skolem normal formin lambda calculus:* beta normal form==see also==*normalization (disambiguation)*normalization property