Guı́a semana 2 - Álgebra (MAT-109)

Primer Semestre 2024

Lógica proposicional y Conjuntos

Resultados de Aprendizaje

Determinar el valor de verdad o demostrar equivalencias lógicas entre proposiciones usando

tablas de verdad o proposiciones equivalentes.

Demostrar la validez o falsedad de proposiciones utilizando razonamiento y lenguaje ma-

temáticos.

Utilizar propiedades de conjuntos en demostraciones.

Ejercicios

1. Decida por medio de tablas de verdad si las siguientes proposiciones son Tautologı́a, Contin-
gencia o Contradicción.

a) [(p ⇒ q) ∧ ¬p] ⇒ ¬q
b) [(p ∨ q) ∨ r] ⇔ [(¬p ⇔ ¬q) ∨ ¬r]
c) [(a ∨ b) ∧ (a ∨ c)] ⇔ [a ∨ (b ∧ c)]
d ) ((p ⇒ q) ∧ p ∧ ¬q) ∧ (¬p ∨ q)

2. Simplifique las siguientes proposiciones :

a) (r ⇒ a) ⇔ (¬r ∨ a)
b) a ∨ [(b ⇒ ¬b) ∧ (a ⇒ ¬a)]
c) ¬(p ∨ q) ⇔ (¬p ∧ ¬q)

3. Utilice el álgebra proposicional para demostrar las siguientes equivalencias:

a) p ∨ (¬p ∧ q) ≡ p ∨ q
b) [p ⇒ (p ⇒ q) ] ≡ (¬p ∨ q)
c) p ⇒ (q ⇒ r) ≡ (p ∧ q) ⇒ r
4. Probar que las tres proposiciones siguientes son lógicamente equivalentes:

a) p ⇒ (q ∨ r)
b) (p ∧ ¬q) ⇒ r
c) (p ⇒ q) ∨ (p ⇒ r)

5. Considere el conectivo binario ∗ definido por

p q p∗q
V V F
V F V
F V F
F F F

a) Determine una proposición compuesta y lógicamente equivalente a p∗q que sólo contenga
los conectivos ¬ y ∧.
b) ¿Será verdad que p ∗ q ≡ q ∗ p ?
c) Simplifique (p ∗ q) ∗ p

6. Se definen los conectivos 2 y ⋆ de la forma:

p2q ≡ (p ⇒ ¬q)

r ⋆ s ≡ (¬r ∨ s)
Determine si la siguiente proposición es una tautologı́a

[p ∧ ¬(¬p ⋆ r)] ∨ [¬(¬p ⋆ q) ∧ ¬(¬s2p)]

7. Sean A y B dos subconjuntos de un conjunto referencial E. Se define la diferencia simétrica

entre A y B como:
A△B = (A − B) ∪ (B − A)
Dados A = {x ∈ N : 15 − 2x > 1} y B = {x ∈ Z : x2 < 15}. Determine A△B.

8. Si A y B son los conjuntos de verdad de las formas proposicionales p(x) y q(x), el conjunto
de verdad de la función proposicional p(x) ⇒ q(x) es (A − B)C .
 Desafı́os

a) Demuestre la siguiente equivalencia lógica de proposiciones:

n o
[p ∧ (¬q ∨ p)] ⇒ ¬q ⇒ [(r ∧ p) ∧ q] ≡ ¬(p ⇒ ¬q)

b) Dados los conjuntos A, B ⊂ E se define la diferencia simétrica entre A y B:

A△B = {x ∈ E : (x ∈ A) ⊻ (x ∈ B)}

Demuestre que

a) A△∅ = A.
b) A△E = Ac .
c) A△A = ∅.
d ) A ∩ (B△C) = (A ∩ B)△(A ∩ C).
Soluciones

1. a) Contingencia.
b) Contingencia.
c) Tautologı́a.
d ) Contradicción.

2. a) (r ⇒ a) ⇔ (¬r ∨ a) ≡ V.
b) a ∨ [(b ⇒ ¬b) ∧ (a ⇒ ¬a)] ≡ (a ∨ ¬b)
c) ¬(p ∨ q) ⇔ (¬p ∧ ¬q) ≡ V

3. Debe realizar cada demostración.

4. Debe realizar cada demostración.

5. a) p ∗ q ≡ p ∧ ¬q .
b) No es verdad que p ∗ q ≡ q ∗ p.
c) (p ∗ q) ∗ p ≡ F

6. La proposición no es una tautologı́a, es una contradicción.

7. A△B = {−3, −2, −1, 0, 4, 5, 6}

8. Debe realizar la demostración.