Operación lógica, consistente en hacer que signifiquen lo mismo o que tengan igual valor lógico dos proposiciones opuestas (contradictorias, contrarias, subcontrarias o subalternas).