docoo
Inferencia
La inferencia es el proceso que se utiliza lógica para obtener conclusiones a partir de premisas.
En función del tipo de lógica que se esté tratando se podrán seguir unas reglas o otras. A las reglas que se pueden utilizar las vamos a llamar reglas de inferencia.
--