¿Qué es?
No se ha añadido ninguna twiki todavía.
En los razonamientos reglamentados por la lógica, cada una de las leyes lógicas que permiten pasar de una fórmula a otra en un cálculo deductivo o en una inferencia inductiva. Si se trata de un cálculo axiomático formalizado, son las reglas de transformación que, junto con las definiciones de los términos y las reglas sintácticas de formación de términos, permiten la obtención de teoremas. Tanto la lógica de enunciados como la lógica de predicados se conciben como un sistema deductivo compuesto de reglas de inferencia. Se habla indistintamente de reglas de inferencia o de leyes lógicas (ver cita).
Dichas reglas determinan, pues, cuáles son los pasos correctos en una deducción, o inferencia deductiva según los diversos sistemas del cálculo lógico.
En los sistemas axiomáticos llamados de la «primera generación», bastan dos reglas: de separación (modus ponens) y de sustitución (ver ejemplo).
En el método de deducción natural, para la lógica de enunciados (ver las reglas) y la lógica de predicados (ver las reglas) se distingue entre reglas básicas y reglas derivadas.