Cuando dos fórmulas tienen siempre los mismo valores de verdad las llamamos equivalentes, de tal forma que una implicación y su contrarrecíproca son equivalentes.La recíproca y la inversa de una implicación también son equivalentes.