Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
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.