Método de razonamiento que permite extraer conclusiones necesarias sobre premisas dadas. La validez de una deducción es independiente de la verdad de las premisas, pues la deducción refiere a la relación entre las premisas, no a sus contenidos.