En algunos cálculos lógicos (en particular, en la lógica clásica, ciertas afirmaciones compuestas esencialmente diferentes son lógicamente equivalentes.