Universidad Nacional San Luis Gonzaga
Facultad de Farmacia y Bioquímica
Semestre Académico 2023-2
Asignatura:
1P10012
Matemática (1P25012)
ESQUIVALENCIAS LÓGICAS
Semana 2
Equivalencias Lógicas
Definición: Dos fórmulas lógicas son
equivalentes si tienen los mismos
valores de verdad para todos los
posibles valores de verdad de sus
componentes atómicos.
Equivalencias Lógicas
Teorema: Si dos fórmulas lógicas son
equivalentes entonces la fórmula que
se obtiene al operarlas con la
bicondicional es una tautología.
F≡G ó FG
Ejemplo: F ≡ 𝐺
(p q) p q
p q pvq (p q)
V V V F
V F V F
F V V F
F F F V
p q p q p q
V V F F F
V F F V F
F V V F F
F F V V V
(6)
F ⟷ G
(p q) ⟷ p q
F V F
F V F
F V F
V V V
𝐹 ≡ 𝐺, 𝑝𝑢𝑒𝑠 𝐹 ⟷ 𝐺 𝑒𝑠 𝑢𝑛𝑎 𝑇𝐴𝑈𝑇𝑂𝐿𝑂𝐺Ï𝐴
EQUIVALENCIAS NOTABLES
Semana 2
Equivalencias Notables
pp ≡ p ; p p ≡ p Ley de Idempotencia
( p q) r ≡ p ( q r)
Ley Asociativa
( p q) r ≡ p ( q r)
(p q) ≡q p
Ley Conmutativa
(p q) ≡q p
p (q r) ≡ ( p q) ( p r)
p (q r) ≡ ( p q) ( p r)
Ley Distributiva
p F ≡ p ; p V ≡ V
Leyes de Identidad
p F ≡ F ; p V ≡ p
p ¬ p ≡ V ; p ¬ p ≡ F
Leyes del Complemento
¬¬p≡p ;¬F≡V;¬V≡F
Equivalencias Notables
p ( p q) ≡ p
p ( p q) ≡ p
Leyes de Absorción
p (¬ p q) ≡ p q
p (¬ p q) ≡ p q
p q ≡ ( p → q) ( q → p)
Ley de la Bicondicional
p q ≡ ( p q) (¬ p ¬ q)
Equivalencias Notables
¬(¬p)≡ p Doble Negación
¬ ( p q) ≡ ¬ p ¬ q Ley 1 de De Morgan
¬(p q) ≡¬p ¬q Ley 2 de De Morgan
( p → q) ≡ (¬ p q) Ley 1 de la Condicional
(p → q) ≡ (¬ q → ¬ p) Ley 2 de la Condicional
¬ ( p → q) ≡ p ¬ q Negación de la Condicional
SIMPLIFICACIÓN DE PROPOSICIONES
Semana 2
Simplificar:
(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞) ∨ ∼ 𝑝 ∧∼ 𝑞
Solución
(𝒑 ∧ 𝒒) ∨ (𝑝 ∧∼ 𝑞) ∨ ∼ 𝑝 ∧∼ 𝑞
≡ 𝒑 ∧ 𝒒 ∨ 𝑝 ∧ 𝒑 ∧ 𝒒 ∨∼ 𝑞 ∨ ∼ 𝑝 ∧∼ 𝑞
≡ 𝑝 ∧ ∼ 𝒒 ∨ 𝒒 ∧ 𝒑 ∨ ∼ 𝑝 ∧∼ 𝑞 Absorción
≡ 𝑝 ∧ ∼ 𝒒 ∨ 𝒑 ∨ (∼ 𝑝 ∧∼ 𝑞) Conmutativa
≡ 𝒑 ∧ 𝒑 ∨∼ 𝒒 ∨ ∼ 𝑝 ∧∼ 𝑞 Absorción
≡ 𝒑 ∨ (∼ 𝑝 ∧∼ 𝑞) Absorción
≡ 𝑝 ∨∼ 𝑞 Conmutativa
≡∼ 𝑞 ∨ 𝑝 Condicional
≡𝑞→𝑝
(9) 𝑝%𝑞 ⟺ 𝑝 ⟶ 𝑞 ∧ (∼ 𝑝 ∨∼ 𝑞), hallar una
expresión equivalente más simple.
Solución
𝒑 ⟶ 𝒒 ∧ ∼ 𝑝 ∨∼ 𝑞 Condicional
≡ ∼ 𝒑 ∨ 𝒒 ∧ (∼ 𝑝 ∨∼ 𝑞) Distributiva
≡ (∼ 𝒑 ∨ 𝒒) ∧∼ 𝑝 ∨ (∼ 𝒑 ∨ 𝒒) ∧∼ 𝑞 Conmutativa
≡ ∼ 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ∨ ∼ 𝑞 ∧ (𝑞 ∨∼ 𝑝) Absorción
≡∼ 𝑝 ∨ (∼ 𝑞 ∧∼ 𝑝) Conmutativa
≡∼ 𝑝 ∨ (∼ 𝑝 ∧∼ 𝑞) Absorción
≡∼ 𝑝
EVALUÁNDONOS
• ¿Qué aprendimos?
• ¿Cómo lo aprendimos?
• ¿Por qué es útil lo aprendido?
(15)
16