Reglas de inferencia?

Enlógica, unaregla de inferencia, oregla de transformaciónes unaforma lógicaque consiste en una función que toma premisas, analiza susintaxis, y devuelve una conclusión (oconclusiones).

Por ejemplo, la regla de inferencia llamadaModus ponendo ponenstoma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusión "q".

La regla es válida con respecto a la semántica de lalógica clásica(así como la semántica de muchas otraslógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.

Por lo general, una regla de inferencia conserva la verdad, una propiedad semántica.

Enmuchos valores lógicos, esta conserva una designación general.

Pero la acción de la regla de inferencia es puramente sintáctica, y no es necesario preservar ninguna propiedad semántica : cualquier función de conjuntos de fórmulas para fórmulas cuenta como una regla de inferencia.

Por lo general, solo son importantes las reglas que sean recursivas ; es decir, reglas de modo que no haya unprocedimiento efectivopara determinar si cualquier fórmula dada es la conclusión de un determinado conjunto de fórmulas de acuerdo a la regla.

Un ejemplo de una regla que no es efectiva en este sentido es la infinitistaregla ω.

1Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico.

Sin embargo, debe también ser válido, o mejor dicho, preservar la validez.

Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.

Las reglas significativas de inferencia en la lógica proposicional incluyenmodus ponens, modus tollensycontraposición.

La lógica de predicados de primer orden usa reglas de inferencia para liderar concuantificadores lógicos.