LAS LEYES DE INFERENCIA

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 sintáxis y devuelve una conclusión o conclusiones.

EJEMPLO