LAS LEYES DEL ÁLGEBRA

PROPOSICIONAL
Prof. Jorge A. Elías Zavala
LEYES DEL ÁLGEBRA PROPOSICIONAL
Las leyes del Álgebra Proposicional son equivalencias lógicas que se
pueden demostrar con el desarrollo de las tablas de verdad del
bicondicional.
1. Leyes de Idempotencia
a) p ˄ p ≡ p b) p ˅ p ≡ p
2. Leyes Conmutativas
a) p ˄ q ≡ q ˄ p b) p ˅ q ≡ q ˅ p

3. Leyes Asociativas
a) (p ˄ q) ˄ r ≡ p ˄ (q ˄ r) b) (p ˅ q) ˅ r ≡ p ˅ (q ˅ r)
4. Leyes Distributivas
a) p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r) b) p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r)
5. Leyes de la Identidad
a) p ˄ V ≡ p c) p ˅ V ≡ V
b) p ˄ F ≡ F d) p ˅ F ≡ p
6. Leyes del Complemento
a) p ˄ ⁓p ≡ F c) ⁓ V ≡ F
b) p ˅ ⁓p ≡ V d) ⁓ F ≡ V
7. Ley de Involución
⁓ (⁓p) ≡ p
7. Leyes de Morgan
a) ⁓(p ˄ q) ≡ ⁓p ˅ ⁓q b) ⁓(p ˅ q) ≡ ⁓p ˄ ⁓q
8. Leyes de la Condicional
a) p → q ≡ ⁓p ˅ q b) p → q ≡ ⁓q → ⁓p

9. Leyes de la Bicondicional
a) p ↔ q ≡ (p → q) ˄ (q → p)
b) p ↔ q ≡ (p ˄ q) ˅ (⁓p ˄ ⁓q)
7. Leyes de Absorción
a) p ˄ (p ˅ q) ≡ p
b) p ˅ (p ˄ q) ≡ p
c) p ˄ (⁓p ˅ q) ≡ p ˄ q
d) p ˅ (⁓p ˄ q) ≡ p ˅ q
Ejemplos
1)Si la proposición “No es cierto que estudiemos y no aprobemos”,
es verdadero , entonces podemos afirmar:
a) Estudiamos y no aprobamos.
b) Aprobamos y no estudiamos.
c) Estudiamos o no aprobamos.
d) Aprobamos o no estudiamos
e) Estudiamos y aprobamos.
RESOLUCIÓN
Formalizamos o simbolizamos la expresión, para eso hacemos:
p: Estudiemos
q: Aprobemos
Formalizamos la proposición dada: ⁓ (p ˄ ⁓ q)
Simplificamos la expresión usando las leyes del Álgebra proposicional
✓ Aplicando Morgan: ⁓p ˅ ⁓⁓q
✓ Aplicando doble negación (ley de involución): ⁓p ˅ q
✓ Conmutando: q ˅ ⁓p
Que se leerá: “Aprobamos o no estudiamos”

RPTA: “d”
2) Simplificar: [ (p → q) ˄ q] → p
RESOLUCIÓN
✓ Aplicando la condicional en paréntesis: [ (⁓p ˅ q) ˄ q] → p
✓ Nuevamente la condicional: ⁓[ ( ⁓p ˅ q) ˄ q ] ˅ p
✓ Dentro del corchete conmutamos: ⁓ [q ˄ (⁓p ˅ q)] ˅ p
✓ Dentro del paréntesis conmutamos: ⁓ [ q ˄ (q ˅ ⁓p)] ˅ p
✓ Mediante ley de absorción: ⁓ [q] v p

RPTA: ⁓q ˅ p
BIBLIOGRAFÍA
• FIGUEROA G. Ricardo 1990; Matemática Básica I Cuarta Edición. Editorial W.H
Editores Lima Perú 536 páginas.
• VASQUEZ URDAY, Carlos; Matemática I, Prigma Editores Lima Perú 1990
• VENERO B. Armando 2000; Matemática Básica, Ediciones GEMAR, 2000
• ESPINOZA RAMOS, Eduardo, Matemática Básica, 1997
RECURSOS DE INTERNET
• http://www.matematicas.ciencias.uchile.cl/juaco/section-1.html
• https://matematicasn.blogspot.com/2015/11/logica-proposicional-
ejercicios.html