Equivalencias Lógicas
En lógica proposicional, las equivalencias lógicas son expresiones que tienen el mismo valor de verdad, es decir, que siempre son verdaderas o siempre son falsas en todas las posibles combinaciones de valores que se les asignen a sus variables. En otras palabras, dos proposiciones son equivalentes si ambas mantienen el mismo valor de verdad bajo todas las posibles interpretaciones.
Algunas equivalencias lógicas comunes en la lógica proposicional son las siguientes:
1. Ley de la doble negación: La doble negación de una proposición resulta en la proposición original.
- Equivalencia: ¬(¬P) ≡ P
2. Ley de identidad: Una proposición siempre es equivalente a ella misma.
- Equivalencia: P ≡ P
3. Ley de idempotencia: Si combinamos una proposición consigo misma utilizando los conectores "Y" o "O", el resultado es la misma proposición.
- Equivalencias:P ∧ P ≡ P : P ∨ P ≡ P
4. Ley de distribución: La disyunción puede distribuirse sobre la conjunción, y viceversa.
- Equivalencias:P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) : P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
5. Ley de De Morgan: La negación de una conjunción es equivalente a la disyunción de las negaciones, y viceversa.
- Equivalencias:¬(P ∧ Q) ≡ ¬P ∨ ¬Q : ¬(P ∨ Q) ≡ ¬P ∧ ¬Q