Matemáticas Avanzadas I.

Clase 3
Álgebra de proposiciones

14 de marzo, 2022
Unidad 1: Lenguaje matemático
Álgebra de proposiciones

En esta sesión se espera que el alumno sea capaz de:

I Determinar el valor de verdad de una proposición usando
álgebra de proposiciones.
I Demostrar equivalencias lógicas de proposiciones usando
álgebra proposicional.
.
Lógica Proposicional
Álgebra de proposiciones

Observación: Existen ciertas equivalencias lógicas que nos per-

miten trabajar con proposiciones compuestas e incluso simpli-
ficarlas, realizando álgebra sobre el conjunto de proposiciones.
Esto es posible mediante el uso de tautologı́as que expresan
propiedades de los conectivos lógicos.
Lógica Proposicional
Álgebra de proposiciones

A continuación, un listado de proposiciones lógicamente equi-

valentes que son de mucha utilidad:
• Propiedades del operador negación.
(1) ¬(¬p) ≡ p
(2) p ∨ ¬p ≡ V
(3) p ∧ ¬p ≡ F
Lógica Proposicional
Álgebra de proposiciones
• Propiedades de la disyunción.
(4) p ∨ p ≡ p
(5) p ∨ V ≡ V
(6) p ∨ F ≡ p
(7) p ∨ q ≡ q ∨ p
(8) p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Lógica Proposicional
Álgebra de proposiciones
• Propiedades de la disyunción.
(4) p ∨ p ≡ p
(5) p ∨ V ≡ V
(6) p ∨ F ≡ p
(7) p ∨ q ≡ q ∨ p
(8) p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r

• Propiedades de la conjunción.
(9) p ∧ p ≡ p
(10) p ∧ V ≡ p
(11) p ∧ F ≡ F
(12) p ∧ q ≡ q ∧ p
(13) p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
Lógica Proposicional
Álgebra de proposiciones

• Leyes distributivas.
(14) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
(15) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Lógica Proposicional
Álgebra de proposiciones

• Leyes distributivas.
(14) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
(15) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

• Leyes de D’Morgan.
(16) ¬(p ∨ q) ≡ ¬p ∧ ¬q
(17) ¬(p ∧ q) ≡ ¬p ∨ ¬q
Lógica Proposicional
Álgebra de proposiciones

• Leyes distributivas.
(14) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
(15) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

• Leyes de D’Morgan.
(16) ¬(p ∨ q) ≡ ¬p ∧ ¬q
(17) ¬(p ∧ q) ≡ ¬p ∨ ¬q

• Leyes de absorción.
(18) p ∨ (p ∧ q) ≡ p
(19) p ∧ (p ∨ q) ≡ p
Lógica Proposicional
Álgebra de proposiciones

• Propiedades de la implicación.
(20) p ⇒ q ≡ ¬p ∨ q
(21) p ⇒ q ≡ ¬q ⇒ ¬p
Lógica Proposicional
Álgebra de proposiciones

• Propiedades de la implicación.
(20) p ⇒ q ≡ ¬p ∨ q
(21) p ⇒ q ≡ ¬q ⇒ ¬p

• Propiedades de la bi-implicación.
(22) p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
(23) p ⇔ p ≡ V
(24) p ⇔ q ≡ q ⇔ p
Lógica Proposicional
Álgebra de proposiciones

Ejemplo: Usando álgebra de proposiciones, demuestre que

((p ∧ (p ⇒ q)) ⇒ q

es una tautologı́a.
Lógica Proposicional
Álgebra de proposiciones

Ejercicio 1: Determine si la siguiente proposición es una tau-

tologı́a, una contradicción o una contingencia:

((p ⇒ q) ∧ p ∧ ¬q) ⇒ (¬p ∨ q)

Lógica Proposicional
Álgebra de proposiciones

Ejercicio 2: Usando las propiedades del álgebra de conectivos

lógicos simplifique la proposición compuesta:

(p ⇒ q) ⇒ [p ⇒ (¬q ∧ p)]
Lógica Proposicional
Álgebra de proposiciones

Ejercicio 3: Demuestre que si las proposiciones p ∧ (r ∨ q),

¬r ∨ q y q ⇒ r son todas verdaderas, entonces p ⇒ q también
lo es.