Proceso de inferencia mediante el cual de unos datos o premisas se sigue necesariamente (es decir, no podría no seguirse) una conclusión. De esta manera. la conclusión no puede ser falsa si las premisas son verdaderas. Procede de la causa al efecto, de la regla (general) aplicada a un cas o instancia (particular) para obtener un resultado o conclusión. "Los ángulos en la base de un isósceles son iguales (regla); este triángulo es isósceles (caso); por tanto sus ángulos en la base son iguales (resultado)."