Filosofía en español
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.
Diccionario filosófico · 1965:144
Operación lógica que consiste en usar conjunciones tipo de “en caso y sólo en caso de que” en las conclusiones lógicas sustanciales y en el lenguaje, se expresa a través de la implicación y la conjunción.
Diccionario de filosofía · 1984:139