Reglas de inferencia y axiomas

¿En qué se parecen o se diferencian las reglas de inferencia y axiomas? De eso se tratan este artículo.

En términos de semántica los axiomas son afirmaciones válidas, aunque generalmente son considerados puntos de partida para aplicar reglas de inferencia y los conjuntos de consecuencias asociadas. Dicho de otra forma y tratando de ser más claros al respecto: los axiomas son declaraciones que pertenecen al sistema mientras que las reglas de inferencia son declaraciones sobre el sistema.

Una regla de transformación que no disponga de premisas es un esquema de axioma o, si no contiene meta-variables, simplemente un axioma. Estos conceptos sencillos tienen un gran protagonismo en los cálculos lógicos, en la teoría de la prueba, el cálculo secuencial y la deducción natural.

Ojalá haya quedado claro y podamos avanzar hacia otros temas fascinantes de la lógica formal.

Leer también: ¿que es la regla de inferencia? , causa y efecto

This post is also available in: Español