Nexo lógico por el que una conclusión resulta de la comparación de dos o más premisas. La deducción procede de lo universal a lo particular o menos general. Su expresión se llama SILOGISMO (vid ).