Equivalencias lógicas

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Fórmulas lógicas
Una fórmula atómica es aquella que no contiene
entre sus símbolos ningún operador y puede ser
representada por una variable proposicional.
Ej. 𝐴: 𝑝
Una fórmula molecular contiene entre sus signos,
al menos, un operador.
Ej. 𝐴: 𝑝 → ¬𝑞
𝐵: 𝑝 ∧∼ 𝑞 ⨁ ∼ 𝑞

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Equivalencia lógica
Dos fórmulas lógicas 𝐴 y 𝐵 (atómicas o
moleculares) se dicen que son lógicamente
equivalentes, si la fórmula bicondicional "𝐴 ↔ 𝐵"
es una tautología.
En cuyo caso denotaremos: 𝐴 ≡ 𝐵 ( y se lee: “𝐴 es
equivalente a 𝐵” o “𝐴 equivale a 𝐵”)
Nótese que, dos fórmulas lógicamente
equivalentes tienen igual tabla de verdad y por
tanto son lógicamente idénticas.

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Fórmulas lógicas
Ej. Mostrar que las siguientes fórmulas son
equivalentes:
𝐴: 𝑝 → 𝑞
𝐵: ∼ 𝑝 ∨ 𝑞
Ej. Mostrar que las siguientes fórmulas son
equivalentes:
𝐴: ∼ (𝑝 ∧ 𝑞)
𝐵: ∼ 𝑝 ∨ ∼ 𝑞

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 EQUIVALENCIAS NOTABLES
Las equivalencias notables permiten simplificar o
transformar fórmulas más complejas, las principales
equivalencias lógicas son:
• 𝐴∨𝐴≡𝐴
Leyes de Idempotencia
• 𝐴∧𝐴≡𝐴
• (𝐴 ∨ 𝐵) ∨ 𝐶 ≡ 𝐴 ∨ (𝐵 ∨ 𝐶)
Leyes asociativas
• (𝐴 ∧ 𝐵) ∧ 𝐶 ≡ 𝐴 ∧ (𝐵 ∧ 𝐶)
• 𝐴∧𝐵 ≡𝐵∧𝐴
Leyes conmutativas
• 𝐴∨𝐵 ≡𝐵∨𝐴
• A∧ 𝐵∨𝐶 ≡ 𝐴∧𝐵 ∨ 𝐴∧𝐶
Leyes distributivas
• 𝐴 ∨ 𝐵 ∧ 𝐶 ≡ (𝐴 ∨ 𝐵) ∧ (𝐴 ∨ 𝐶)
• 𝐴∧𝐹 ≡𝐹
• 𝐴∨𝐹 ≡𝐴
Leyes de identidad
• 𝐴∨𝑉 ≡𝑉
• 𝐴∧𝑉 ≡𝐴

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Principales equivalencias
• 𝐴 ∨∼ 𝐴 ≡ 𝑉
Leyes de complemento
• 𝐴 ∧∼ 𝐴 ≡ 𝐹
Doble negación (DN) • ∼ (∼ 𝑝) ≡ 𝑝
Negación • ∼ 𝑉 ≡ 𝐹, ∼𝐹≡𝑉
• ∼ 𝐴 ∧ 𝐵 ≡∼ 𝐴 ∨ ∼ 𝐵
Leyes de D´Morgan
• ∼ 𝐴 ∨ 𝐵 ≡∼ 𝐴 ∧ ∼ 𝐵
Ley de Contraposición • 𝐴 → 𝐵 ≡ ~𝐵 → ~𝐴
O contrrecíproca
Definición del • 𝐴 →𝐵 ≡∼𝐴 ∨ 𝐵
condicional • 𝐴 ←𝐵 ≡ 𝐴 ∨∼ 𝐵
• 𝐴 → 𝐵 ≡ 𝐴 ↔ (𝐴 ∧ 𝐵)
Leyes de expansión
• 𝐴 → 𝐵 ≡ 𝐵 ↔ (𝐴 ∨ 𝐵)
Negación Disyuntiva • A|B ≡∼ A ∨∼ B ≡∼ A ∧ B
Barra de Sheffer
Negación Conjuntiva • A ↓ B ≡∼ A ∧∼ B ≡∼ A ∨ B
(Flecha de Peirce)

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Principales equivalencias
• 𝐴↔𝐵≡ 𝐴→𝐵 ∧ 𝐵→𝐴
Definición del
• 𝐴 ↔ 𝐵 ≡ 𝐴 ∧ 𝐵 ∨ ∼ 𝐴 ∧∼ 𝐵
bicondicional • 𝐴 ↔ 𝐵 ≡ ∼ 𝐴 ∨ 𝐵 ∧ 𝐴 ∨∼ 𝐵
• 𝐴⨁𝐵 ≡ 𝐴 ∨ 𝐵 ∧ ∼ 𝐴 ∨∼ 𝐵
Disyunción excluyente
• 𝐴⨁𝐵 ≡ ∼ 𝐴 ∧ 𝐵 ∨ 𝐴 ∧∼ 𝐵
• A⨁𝐵 = ~ 𝐴 ↔ 𝐵
Tipo I
• 𝐴∧ 𝐴∨𝐵 ≡𝐴
• 𝐴∨ 𝐴∧𝐵 ≡𝐴
• ∼ 𝐴 ∧ ∼ 𝐴 ∨ 𝐵 ≡∼ 𝐴
• ∼ 𝐴 ∨ ∼ 𝐴 ∧ 𝐵 ≡∼ 𝐴
Leyes de absorción Tipo II
• 𝐴∧ ∼𝐴∨𝐵 ≡𝐴∧𝐵
• 𝐴∨ ∼𝐴∧𝐵 ≡𝐴∨𝐵
• ∼ 𝐴 ∧ 𝐴 ∨ 𝐵 ≡∼ 𝐴 ∧ 𝐵
• ∼ 𝐴 ∨ 𝐴 ∧ 𝐵 ≡∼ 𝐴 ∨ 𝐵

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Equivalencia Lógica
Ej. Probar las siguiente identidad
𝑝∨𝑞 ∧ 𝑝 ↔𝑞 ≡𝑝∧𝑞
Esto se puede realizar de dos formas:
 Empleando la definición, es decir, con tablas de
verdad.
 Empleando la equivalencias notables para
transformar una fórmula en la otra.

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Ejercicios
1. Hallar la forma más simple de los siguientes
enunciados, justificar cada equivalencia:
• 𝑝 → 𝑝∆𝑞
• 𝑝∆𝑞 → 𝑝 ∧ 𝑞
2. Probar las siguientes identidades
• 𝑝 ∧∼ 𝑟 → 𝐹 ≡ 𝑝 → 𝑟
• 𝑝⨁𝑞 ∨∼ 𝑝 ≡∼ 𝑝 ∨∼ 𝑞
• 𝑝∧ 𝑝 ↔𝑞 ≡𝑝∧𝑞

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

 Ejercicios
1. Probar, mediante el uso de equivalencias
notables, las leyes de absorción.
2. Hallar la forma más simple de los siguientes
fórmulas:
• (𝑝 ∧ 𝑞) → (𝑝 ∧ 𝑟) → (𝑝 → 𝑟)
• 𝑝∧𝑞 ∨ 𝑞 → 𝑝∧𝑟
• 𝑝 →∼ 𝑞 ∨ 𝑞 → 𝑝⨁𝑞
• (𝑝 ∨ 𝑞 ∨ 𝑟) ∧ (𝑝 ∨ 𝑞 ∨∼ 𝑟) ∧ (𝑝 ∨∼ 𝑞 ∨ 𝑟) ∧ (∼ 𝑝 ∨ 𝑞 ∨ 𝑟)

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES