Equivalencia

En lógica, nexo de dos enunciados que denota que ambos son verdaderos o que ambos son falsos. En la notación simbólica se representa mediante los signos ù | Por ejemplo, los enunciados «un número es divisible por 6» (A), y «un número es divisible por 2 y por 3» (B) son equivalentes (A | B), lo cual puede expresarse también en la forma: «un numero es divisible por 6 si y sólo si es divisible por 2 y por 3». La negación de la equivalencia tiene la misma fuerza que la disyunción exclusiva.