EQUIVALENCIA: 🔎

dos fbfs (enunciados) son lógicamente equivalentes si necesariamente tienen el mismo valor de verdad. Son materialmente equivalentes si tienen el mismo valor de verdad.
(Haack, 1978).

En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico. Este es un concepto semántico, dos afirmaciones son equivalentes si tienen el mismo valor de verdad en todos los modelos.

La equivalencia lógica de p y q algunas veces se expresa como: p ≡ q, Epq, o p ⇔ q.

Sin embargo, estos símbolos también se usan para la equivalencia material; su apropiada interpretación depende del contexto. La equivalencia lógica es diferente a la equivalencia material, aunque ambos conceptos estén estrechamente relacionados.
(Wikipedia).