Equivalencia
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:144
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 de filosofía · 1984:139
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.