En
lógica, una
regla de inferencia, o
regla de transformación es una
forma lógica que consiste en una función que toma premisas, analiza su
sintaxis, y devuelve una conclusión (o conclusiones). Por ejemplo, la regla de inferencia llamada
Modus ponendo ponens toma 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 la
lógica clásica (así como la semántica de muchas otras ló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.