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 entinema o inferencia inmediata (en realidad se suele tratar de un silogismo abreviado como en la inferencia "el sol alumbra, luego es de día"); si la conclusión se establece a partir de varias proposiciones hablamos de inferencia mediata.