L'inférence est l'acte ou le processus de dérivation des conclusions logiques des locaux connus ou supposés être vrais. La conclusion tirée est également appelée un idiomatique. Les lois de l'inférence valide sont étudiées dans le domaine de la logique.