Reglas de inferencia

De Enciclopedia Symploké, la enciclopedia libre.
(Redirigido desde Regla de inferencia)
Saltar a: navegación, buscar

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.