Deducción
Definición
El proceso u operación de derivar conclusiones que se siguen necesariamente de premisas dadas mediante la aplicación de reglas de inferencia dentro de un sistema lógico; la deducción produce conclusiones cuya verdad está implicada por las premisas y las reglas.