Equivalencia lógica

Concepto en lógica

En lógica y matemáticas , se dice que los enunciados y son lógicamente equivalentes si tienen el mismo valor de verdad en todos los modelos . ^[1] La equivalencia lógica de y a veces se expresa como , , o , dependiendo de la notación que se utilice. Sin embargo, estos símbolos también se utilizan para equivalencia material , por lo que la interpretación adecuada dependería del contexto. La equivalencia lógica es diferente de la equivalencia material, aunque los dos conceptos están intrínsecamente relacionados. ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p\equiv q}$ ${\displaystyle p::q}$ ${\displaystyle {\textsf {E}}pq}$ ${\displaystyle p\iff q}$

Equivalencias lógicas

En lógica, existen muchas equivalencias lógicas comunes y, a menudo, se enumeran como leyes o propiedades. Las siguientes tablas ilustran algunos de ellos.

Equivalencias lógicas generales

Equivalencias lógicas que involucran declaraciones condicionales

1. ${\displaystyle p\implies q\equiv \neg p\vee q}$
2. ${\displaystyle p\implies q\equiv \neg q\implies \neg p}$
3. ${\displaystyle p\vee q\equiv \neg p\implies q}$
4. ${\displaystyle p\wedge q\equiv \neg (p\implies \neg q)}$
5. ${\displaystyle \neg (p\implies q)\equiv p\wedge \neg q}$
6. ${\displaystyle (p\implies q)\wedge (p\implies r)\equiv p\implies (q\wedge r)}$
7. ${\displaystyle (p\implies q)\vee (p\implies r)\equiv p\implies (q\vee r)}$
8. ${\displaystyle (p\implies r)\wedge (q\implies r)\equiv (p\vee q)\implies r}$
9. ${\displaystyle (p\implies r)\vee (q\implies r)\equiv (p\wedge q)\implies r}$

Equivalencias lógicas que involucran bicondicionales

1. ${\displaystyle p\iff q\equiv (p\implies q)\wedge (q\implies p)}$
2. ${\displaystyle p\iff q\equiv \neg p\iff \neg q}$
3. ${\displaystyle p\iff q\equiv (p\wedge q)\vee (\neg p\wedge \neg q)}$
4. ${\displaystyle \neg (p\iff q)\equiv p\iff \neg q\equiv p\oplus q}$

Donde representa XOR . ${\displaystyle \oplus }$

Ejemplos

en lógica

Las siguientes afirmaciones son lógicamente equivalentes:

1. Si Lisa está en Dinamarca , entonces está en Europa (una declaración del formulario ). ${\displaystyle d\implies e}$
2. Si Lisa no está en Europa, entonces no está en Dinamarca (una declaración del formulario ). ${\displaystyle \neg e\implies \neg d}$

Sintácticamente, (1) y (2) son derivables entre sí mediante las reglas de contraposición y doble negación . Semánticamente, (1) y (2) son verdaderas exactamente en los mismos modelos (interpretaciones, valoraciones); es decir, aquellas en las que Lisa está en Dinamarca son falsas o Lisa está en Europa son verdaderas.

(Tenga en cuenta que en este ejemplo se supone la lógica clásica . Algunas lógicas no clásicas no consideran que (1) y (2) sean lógicamente equivalentes).

Relación con la equivalencia material

La equivalencia lógica es diferente de la equivalencia material. Las fórmulas y son lógicamente equivalentes si y sólo si el enunciado de su equivalencia material ( ) es una tautología. ^[2] ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p\leftrightarrow q}$

La equivalencia material de y (a menudo escrita como ) es en sí misma otra declaración en el mismo lenguaje objeto que y . Esta afirmación expresa la idea "' si y sólo si '". En particular, el valor de verdad de puede cambiar de un modelo a otro. ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p\leftrightarrow q}$ ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle p\leftrightarrow q}$

Por otro lado, la afirmación de que dos fórmulas son lógicamente equivalentes es un enunciado en metalenguaje , que expresa una relación entre dos enunciados y . Los enunciados son lógicamente equivalentes si, en cada modelo, tienen el mismo valor de verdad. ${\displaystyle p}$ ${\displaystyle q}$

Ver también

• Portal de filosofía
• Portal de psicología

• Vinculación
• Equisatisfacibilidad
• Si y solo si
• bicondicional lógico
• Igualdad lógica
• ≡ el símbolo iff (U+2261 IDÉNTICO A )
• ∷ el símbolo a es a b como c es a d (U+2237 PROPORCIÓN )
• ⇔ el bicondicional de doble golpe (U+21D4 DOBLE FLECHA IZQUIERDA DERECHA )
• ↔ la flecha bidireccional (U+2194 FLECHA IZQUIERDA DERECHA )

Referencias

1. Mendelson, Elliott (1979). Introducción a la lógica matemática (2 ed.). págs.56. ISBN 9780442253073.
2. Copia, Irving ; Cohen, Carl ; McMahon, Kenneth (2014). Introducción a la lógica (Nueva edición internacional). Pearson. pag. 348.