Zambrano Cevallos Jean Carlos

Deber 03: Lógica y conjuntos discretos

1. Ejercicios
1. Demuestra empleando tablas de verdad, que cada una de estas implicaciones es una
tautologı́a.

a) (p ∧ q) → p
p q (p ∧ q) (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
(p ∧ q) → p ≡ 𝑉

b) p → (p ∨ q)

p q (p ∨ q) p → (p ∨ q)
V V V V
V F V V
F V V V
F F F V
p → (p ∨ q)≡ 𝑉

c) ¬p → (p → q)
p q ¬p (p → q) ¬p → (p → q)
V V F V V
V F F F V
F V V V V
F F V V V
¬p → (p → q) ≡ 𝑉

d) (p ∧ q) → (p → q)

p q (p ∧ q) (p → q) (p ∧ q) → (p → q)
V V V V V
V F F F V
F V F V V
F F F V V
(p ∧ q) → (p → q) ≡ 𝑉
 e) ¬(p → q) → p

p q (p → q) ¬ (p → q) ¬(p → q) → p
V V V F V
V F F V V
F V V F V
F F V F V
¬(p → q) → p≡ 𝑉

f ) ¬(p → q) → ¬p

p q (p → q) ¬ (p → q) ¬p ¬(p → q) → ¬p
V V V F F V
V F F V F F
F V V F V V
F F V F V V
¬(p → q) → ¬p No es una tautología

g) (¬p ∧ (p ∨ q)) → q
p q ¬p p∨q (¬p ∧ (p ∨ q)) (¬p ∧ (p ∨ q)) → q
V V F V F V
V F F V F V
F V V V V V
F F V F F V
(¬p ∧ (p ∨ q)) → q≡ 𝑉

h) ((p → q) ∧ (q → r )) → (p → r )

p q r p→ q q →r (p → q) ∧ (q → r ) p→ r ((p → q) ∧ (q → r
)) → (p → r )
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
((p → q) ∧ (q → r )) → (p → r ) ≡ 𝑉
 i) (p ∧ (p → q)) → q

p q (p → q) p ∧ (p → q) (p ∧ (p → q)) → q
V V V V V
V F F F V
F V V F V
F F V F V
(p ∧ (p → q)) → q≡ 𝑉
j) ((p ∨ q) ∧ (p → r ) ∧ (q → r )) → r
p q r p∨q q →r (p ∨ q) ∧ (p → r ) q→ r (p ∨ q) ∧ (p → r ((p ∨ q) ∧ (p → r )
) ∧ (q → r ) ∧ (q → r )) → r
V V V V V V V V V
V V F V F F F F V
V F V V V V V V V
V F F V F F V F V
F V V V V V V V V
F V F V V V F F V
F F V F V F V F V
FF F F V F V F V
((p ∨ q) ∧ (p → r ) ∧ (q → r )) → r) ≡ 𝑉

2. Demuestra, sin utilizar tablas de verdad, que cada una de las implicaciolnes del pro-
blema anterior es una tautologı́a

a) (p ∧ q) → p
¬(𝑝 ∧ 𝑞) ∨ p
¬𝑝 ∨ ¬𝑞 ∨ 𝑝
¬𝑝 ∨ 𝑝 ∨ ¬𝑞
𝑉 ∨ ¬𝑄
≡𝑉

b) p → (p ∨ q)
¬𝑝 ∨ 𝑝 ∨ 𝑞
𝑉∨𝑞
≡𝑉

c) ¬p → (p → q)
¬(¬𝑝) ∨ 𝑝 → 𝑞
𝑝 ∨ ¬𝑝 ∨ 𝑞
𝑉∨𝑞
≡𝑉

d) (p ∧ q) → (p → q)
¬(𝑝 ∧ 𝑞) ∨ 𝑝 → 𝑞
¬𝑝 ∨ ¬𝑞 ∨ ¬𝑝 ∨ 𝑞
¬𝑞 ∨ ¬𝑝 ∨ ¬𝑝 ∨ 𝑞
¬𝑞 ∨ ¬𝑝 ∨ 𝑞
¬𝑞 ∨ 𝑞 ∨ ¬𝑝
𝑉 ∨ ¬𝑝
≡𝑉

e) ¬(p → q) → p
¬(¬(𝑝 → 𝑞)) ∨ 𝑝
(𝑝 → 𝑞) ∨ 𝑝
¬𝑝 ∨ ¬𝑞 ∨ 𝑝
¬𝑝 ∨ 𝑝 ∨ ¬𝑞
𝑉∨𝑞
≡𝑉

f ) ¬(p → q) → ¬p
𝑝 ∧ ¬𝑞 → ¬𝑝
𝑝 ∧ ¬𝑞 ∨ ¬𝑝
¬𝑞 ∧ 𝑝 ∨ ¬𝑝
¬𝑞 ∧ 𝑉
≡𝑉

g) (¬p ∧ (p ∨ q)) → q
¬(¬𝑝 ∧ (𝑝 ∨ 𝑞)) ∨ 𝑞
¬(¬𝑝) ∨ ¬(𝑝 ∨ 𝑞) ∨ 𝑞
𝑝 ∨ ¬𝑝 ∨ ¬𝑞 ∨ 𝑞
𝑉∨𝑉
≡𝑉

h) ((p → q) ∧ (q → r )) → (p → r )
¬((𝑝 → 𝑞) ∧ (𝑞 → 𝑟)) ∨ ¬𝑝 ∨ 𝑟
¬((¬𝑝 ∨ 𝑞) ∧ (¬𝑞 ∨ 𝑟)) ∨ ¬𝑝 ∨ 𝑟
¬(¬𝑝 ∨ 𝑞) ∨ ¬(¬𝑞 ∨ 𝑟) ∨ ¬𝑝 ∨ 𝑟
¬𝑝 ∧ ¬𝑞 ∨ ¬𝑝 ∧ ¬𝑟 ∨ ¬𝑝 ∨ 𝑟
¬𝑞 ∧ ¬𝑝 ∨ ¬𝑝 ∧ ¬𝑟 ∨ ¬𝑝 ∨ 𝑟
¬𝑞 ∧ ¬𝑝 ∧ ¬𝑟 ∨ ¬𝑝 ∨ 𝑟
¬𝑞 ∧ ¬𝑝 ∧ ¬𝑝 ∨ ¬𝑟 ∨ 𝑟
¬𝑞 ∧ ¬𝑝 ∨ 𝑉
¬(𝑝 ∨ 𝑞) ∨ 𝑉
≡𝑉

i) (p ∧ (p → q)) → q
¬(𝑝 ∧ (𝑝 → 𝑞)) ∨ 𝑞
¬𝑝 ∨ ¬(𝑝 → 𝑞) ∨ 𝑞
¬𝑝 ∨ 𝑝 ∧ ¬𝑞 ∨ 𝑞
𝑉∧𝑉
≡𝑉

j) ((p ∨ q) ∧ (p → r ) ∧ (q → r )) → r
((𝑝 ∨ 𝑞) ∧ ¬𝑝 ∨ 𝑟 ∧ ¬𝑞 ∨ 𝑟) → 𝑟
((𝑝 ∨ 𝑞) ∧ ¬𝑝 ∨ 𝑟 ∧ 𝑟 ∨ ¬𝑞) → 𝑟
(𝑝 ∨ 𝑞 ∧ ¬𝑝 ∨ 𝑟 ∨ ¬𝑞) → 𝑟
(𝑞 ∨ 𝑝 ∧ ¬𝑝 ∨ ¬𝑞 ∨ 𝑟) → 𝑟
(𝑞 ∨ 𝐹 ∨ ¬𝑞 ∨ 𝑟) → 𝑟
(𝐹 ∨ 𝑞 ∨ ¬𝑞 ∨ 𝑟) → 𝑟
(𝐹 ∨ 𝑉 ∨ 𝑟) → 𝑟
(𝑉 ∨ 𝐹 ∨ 𝑟) → 𝑟
(𝑉 ∨ 𝑟) → 𝑟
𝑉→𝑟
¬𝑉 ∨ 𝑟
 ≡𝑉
3. Sea P(x) la sentencia ✭X asiste a má s de cinco horas de clase al dı́a ✮, donde el domi-
nio de x consiste en todos los estudiantes. Expresa las siguientes cuantificaciones en
lenguaje natural:

Estudiante: número de estudiantes a colocar.

a) ∃xP (x)
Existen “estudiantes” que asisten a mas de cinco horas de clase al día.
b) ∀xP (x)
Para todos los “estudiantes” que asisten a mas de cinco horas de clase al día.
c) ¬∃x¬P (x)
No existen “estudiantes” que no asisten a mas de cinco horas de clase al día.

d) ∀x¬P (x)
Para todos los “estudiantes” que no asisten a mas de cinco horas de clase al día.

4. Sea P(x) la sentencia ✭X = X 2 ✮. Si el dominio consiste en todos los enteros, ¿cuá les son
los valores de verdad?

a) P(0)
P(0)= X = X 2
= 0 = 02
= 0 = 0 → ∀𝑥𝑃(𝑥) → 𝑉

b) P(1)
P(1) )= X = X 2
=1 = 12
1 = 1 → ∀𝑥𝑃(𝑥) → 𝑉

c) P(2)
P(2)= X = X 2
2 = 22
2 = 4 → ∀𝑥𝑃(𝑥) → 𝐹

d) P(-1)
P(-1)= X = X 2
−1 = −12
−1 = 1 → ∀𝑥𝑃(𝑥) → 𝐹

e) ∃xP (x)
∃xP (x) → 𝑉

f ) ∀xP (x)
∀xP (x) → 𝐹
5. Sea Q(x) la sentencia ✭X + 1 > 2X ✮. Si el dominio consiste en todos los enteros. ¿cuá les
son estos valores de verdad?

a) Q(0)
Q(0)=X + 1 > 2X
0 + 1 > 2(0)
1 > 0 → ∀𝑥𝑃(𝑥) → 𝑉

b) Q(-1)
Q(-1)= X + 1 > 2X
= −1 + 1 > 2(−1)
= 0 > −2 → ∀𝑥𝑃(𝑥) → 𝑉

c) Q(1)
Q(1)= X + 1 > 2X
= 1 + 1 > 2(1)
= 2 > 2 → ∀𝑥𝑃(𝑥) → 𝐹

d) ∃xQ(x)
∃𝑥𝑄(𝑥) → V
e) ∀xQ(x)
∀𝑥𝑄(𝑥) → F
f ) ∃x¬Q(x)
∃𝑥¬𝑄(𝑥) → V

g) ∀x¬Q(x)
∀𝑥¬𝑄(𝑥) → F