En Lógica, forma de razonamiento en la que de dos premisas se obtiene una conclusión.