La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro -premisa- mediante la aplicación de reglas de inferencia.