Inferencia

Inferencia. Proceso racional de extraer una conclusión a partir de un juicio previo. Los antiguos llamaban inferencias inmediatas a las conclusiones lógicas que parten de una única proposición; e inferencias mediatas a las conclusiones lógicas que parten de una dos proposiciones iníciales.

Inferencia. En general, proceso de razonamiento por el que se concluye una proposición de otra u otras anteriormente aceptadas. Si se concluye la proposición a partir exclusivamente de otra, hablamos de inferencia inmediata; si la conclusión se establece a partir de varias proposiciones hablamos de inferencia mediata.

En lógica formal la inferencia está regulada por reglas (llamadas reglas de inferencia) mediante cuya aplicación a una o varias premisas anteriormente dadas podemos obtener una conclusión. Si la inferencia se obtiene por aplicación correcta de una regla de inferencia, se considera una inferencia válida. En caso contrario se considera que la inferencia es inválida.