Significados de reglas de inferencia en español

Los axiomas y reglas de inferencia de la lógica de primer orden.

La lógica de primer orden se rige por dos reglas de inferencia, que son:

En esta última, tanto las premisas como las reglas de inferencia están estipuladas por adelantado.

Una vez postulados los supuestos y reglas de inferencia iniciales, las consecuencias (teoremas) se siguen necesariamente.

Examinemos un nada complicado programa de generación de teoremas, que utiliza axiomas y reglas de inferencia de TNT.

Las deducciones lógicas pueden ser viabilizadas mediante el empleo de reglas de inferencia análogas a alguna de las de TNT.

Dicho programa incorpora una serie de reglas de inferencia de Hilbert que, según el teorema de Gödel, no puede ser completa.

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?

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.

¿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?