Concepto 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. Definición Dos fórmulas A y B son lógicamente equivalentes cuando para toda interpretación v sus valores de verdad son iguales (v(A) = v(B)) . Como se conocen los valores de verdad para todos los átomos de la fórmula, es posible verificar las interpretaciones de v para cada fórmula. Se utilizará un operador nuevo para denotar la equivalencia lógica, el operador será y se lee: “es lógicamente equivalente a” . En ningún caso s