Reglas de inferencia
De Enciclopedia Symploké, la enciclopedia libre.
En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminación del Condicional:
A → B A ______ B
nos permite derivar la fórmula p v q (p o q) de las fórmulas p → (p v q) (p implica p o q) y p.
Las reglas de inferencia no deben confundirse con las leyes lógicas o tautologías, puesto que éstas no pertenecen al metalenguaje del cálculo.