Term Gallery logo

Значения термина reglas de inferencia на испанском

русский
правило преобразования
португальский
regra de inferencia
английский
transformation rule
каталонский
regla d'inferència

Forma lógica.

        правило преобразования
        Использование термина reglas de inferencia на испанском
        1
        Los axiomas y reglas de inferencia de la lógica de primer orden.
        Gödel ∀ (para todos)
        2
        La lógica de primer orden se rige por dos reglas de inferencia, que son:
        Gödel ∀ (para todos)
        3
        En esta última, tanto las premisas como las reglas de inferencia están estipuladas por adelantado.
        El camino desde la estructura
        4
        Una vez postulados los supuestos y reglas de inferencia iniciales, las consecuencias (teoremas) se siguen necesariamente.
        Crisis y reconstrucción de la filosofía
        5
        Examinemos un nada complicado programa de generación de teoremas, que utiliza axiomas y reglas de inferencia de TNT.
        Gödel, Escher, Bach
        6
        Las deducciones lógicas pueden ser viabilizadas mediante el empleo de reglas de inferencia análogas a alguna de las de TNT.
        Gödel, Escher, Bach
        7
        Dicho programa incorpora una serie de reglas de inferencia de Hilbert que, según el teorema de Gödel, no puede ser completa.
        La estructura de la realidad
        8
        En efecto, ¿cómo vamos a decidir qué axiomas o reglas de inferencia adoptar en un caso cualquiera cuando tratamos de establecer un sistema formal?
        La nueva mente del emperador
        9
        Para conseguirlo, tendremos que asignar numeración Gödel al propio TNT, tal como lo hicimos con el sistema MIU, y luego "aritmetizar" sus reglas de inferencia.
        Gödel, Escher, Bach
        10
        ¿Cómo debían ser modificadas las reglas de inferencia para que pudiesen tener de una manera real la completitud que Aristóteles, equivocadamente, proclamaba?
        La estructura de la realidad
        Это словосочетание состоит из:
        Translations for reglas de inferencia
        каталонский
        regla d'inferència