Equivalencia lógica

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 (Mendelson
1979:56). La equivalencia lógica de p y q algunas veces se expresa como , Epq,
o . 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.
Equivalencias lógicas
Sea T una verdad lógica y F una falsedad lógica:

Equivalencia Nombre

p∧T≡p
Leyes de identidad
p∨F≡p

p∨T≡T
Leyes de dominación
p∧F≡F

p∨p≡p
Leyes de idempotencia
p∧p≡p

﹁(﹁p)≡p Leyes de doble negación

p∨q≡q∨p
Leyes de conmutación
p∧q≡q∧p

(p∨q)∨r≡p∨(q∨r)
Leyes de asociación
(p∧q)∧r≡p∧(q∧r)

p∨(q∧r)≡(p∨q)∧(p∨r
)
Leyes de distribución
p∧(q∨r)≡(p∧q)∨(p∧r
)
﹁(p∧q)≡﹁p∨﹁q
Leyes de De Morgan
﹁(p∨q)≡﹁p∧﹁q

p∨(p∧q)≡p
Leyes de absorción
p∧(p∨q)≡p

p∨﹁p≡T
Leyes de negación
p∧﹁p≡F

Equivalencias lógicas que involucran declaraciones condicionales:

1. p→q≡﹁p∨q
2. p→q≡﹁q→﹁p
3. p∨q≡﹁p→q
4. p∧q≡﹁(p→﹁q)
5. ﹁(p→q)≡p∧﹁q
6. (p→q)∧(p→r)≡p→(q∧r)
7. (p→q)∨(p→r)≡p→(q∨r)
8. (p→r)∧(q→r)≡(p∨q)→r
9. (p→r)∨(q→r)≡(p∧q)→r
Equivalencias lógicas que involucran bicondicionales:

1. p↔q≡(p→q)∧(q→p)
2. p↔q≡﹁p↔﹁q
3. p↔q≡(p∧q)∨(﹁p∧﹁q)
4. ﹁(p↔q)≡p↔﹁q