Inferencia
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La inferencia es el mecanismo general de derivar nuevas proposiciones a partir de otras existentes conforme al conjunto de reglas de una lógica; especifica cómo las conclusiones siguen de las premisas en un formalismo elegido.