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.