Versucht aus den Beispielen menschlicher Übersetzungen das Übersetzen zu lernen.
Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
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