2.3.

EJERCICIOS 17

2.3. Ejercicios
1. De los siguientes enunciados ¿cuáles son proposiciones y cuáles no?, justifique su
respuesta.

• Tom Hanks ha ganado dos premios Oscar como mejor actor por dos años con-
secutivos.
• Dame una cerveza.
• Colombia ganó ocho medallas olı́mpicas en Londres 2012.
• Todo número primo es impar.
• 1 + 1 = 2.
• La diferencia de dos primos.
• Todo número par mayor que 2 puede escribirse como suma de dos números
primos. (Christian Goldbach, 1742).
• ¿Que hora es?.
• xn + y n = z n .
• x + y = z + y si x = z.

2. De las siguientes secuencias de sı́mbolos ¿cuáles son fórmulas bien formadas y cuáles
no?.

• �(¬(p) → r) ∧ (p ¬ q)�
• �(¬(p) ↔ ¬(q)) ↔ (q → r)�
• (p ∧ q) ∨ (q → p)�
• �(p ↔ p) ∧ (p → p) ∨ (p ∧ ¬(p))�

3. Escriba la fórmula bien formada que representa cada una de la siguientes secuencias
de sı́mbolos:

• p∧q ↔r∨s→q
• p→q→q→p
• ¬p ↔ q ∨ ¬r ∨ (q → r) ↔ ¬¬q
• p ∨ (q ∧ r) ↔ p ∨ q ∧ (p ∨ q)

4. Hallar el significado de cada fórmula que se especifica a continuación con respecto a

la interpretación definida para ésta.

• f = p ∧ q ↔ r ∨ s → q, si ⇠(p) = V , ⇠(q) = V , ⇠(r) = V , ⇠(s) = F .

• f = p → q → q → p, si ⇠(p) = V , ⇠(q) = F .
• f = ¬p ↔ q ∨ ¬r ∨ (q → r) ↔ ¬¬q, si ⇠(p) = F , ⇠(q) = V , ⇠(r) = V .
• f = p ∨ (q ∧ r) ↔ p ∨ q ∧ (p ∨ q), si ⇠(p) = V , ⇠(q) = F , ⇠(r) = V .
18 CAPÍTULO 2. LÓGICA MATEMÁTICA

5. Verifique las equivalencias lógicas de la tabla 2.2.

6. Verifique las implicaciones lógicas de la tabla 2.3.

7. Verifique que las fórmulas f1 = p ∧ q ∨ r y f2 = p ∧ (q ∨ r) no son lógicamente

equivalentes.

8. Con los operadores lógicos ¬ y ∧ es posible expresar los otros operadores lógicos
(∨, →, ↔) de forma equivalente, de la siguiente manera

p ∨ q ⇔ ¬(¬p ∧ ¬q)
p → q ⇔ ¬(p ∧ ¬q)
p ↔ q ⇔ ¬(p ∧ ¬q) ∧ ¬(q ∧ ¬p)

verificar que efectivamente los operadores lógicos ∨, →, ↔ se pueden expresar en

términos de los operadores lógicos ¬ y ∧.

9. Con los operadores lógicos ¬ y ∨ es posible expresar los otros operadores lógicos
(∧, →, ↔). Encontrar fórmulas lógicas que contengan sólo los operadores lógicos ¬ y
∨ que sean equivalentes a las fórmulas p∧q, p → q, p ↔ q y verifique que efectivamente
son lógicamente equivalentes.

10. Adicional a los conectivos lógicos presentados, existen otros conectivos, tal como el
conectivo o exclusivo (⊗), el cual es muy utilizado en computación, y tiene como
objetivo que dadas dos fórmulas f1 y f2 , la operación f1 ⊗ f2 será únicamente ver-
dadera cuando se cumpla que sólo una de la fórmulas f1 o f2 sea verdadera. De esta
manera, la semántica para este conectivo es la siguiente

⇠(f1 ) ⇠(f2 ) ⇠(f1 ⊗ f2 )

V V F
V F V
F V V
F F F

(a) Encuentre una fórmula que sea equivalente lógicamente a la fórmula f1 ⊗ f2 ,

que sólo utilice los operadores lógicos ¬ y ∧.
(b) Encuentre una fórmula que sea equivalente lógicamente a la fórmula f1 ⊗ f2 ,
que sólo utilice los operadores lógicos ¬ y ∨.

11. Adicional a los conectivos lógicos presentados, existe otro conectivo, tal como el
conectivo barra de She↵er (�), para el cual su semántica es la siguiente

⇠(f1 ) ⇠(f2 ) ⇠(f1 � f2 )

V V F
V F V
F V V
F F V
 2.3. EJERCICIOS 19

La principal caracterı́stica de este conectivo es que las fórmulas ¬f , f1 ∨ f2 , f1 ∧ f2 ,

f1 → f2 , f1 ↔ f2 , son lógicamente equivalentes a fórmulas que sólo contienen el
conectivo �, como se observa a continuación

¬f ⇔ f � f
f1 ∨ f2 ⇔ (f1 � f1 ) � (f2 � f2 )
f1 ∧ f2 ⇔ (f1 � f2 ) � (f1 � f2 )
f1 → f2 ⇔ f1 � (f2 � f2 )

(a) Verifique las anteriores equivalencias lógicas.

(b) Encuentre una fórmula que sólo utilice el conectivo � y que sea lógicamente
equivalente a la fórmula f1 ↔ f2 .

12. Adicional a los conectivos lógicos presentados, existe otro conectivo, tal como el
conectivo flecha de Peirce (↓), para el cual su semántica es la siguiente

⇠(f1 ) ⇠(f2 ) ⇠(f1 ↓ f2 )

V V F
V F F
F V F
F F V

La principal caracterı́stica de este conectivo es que las fórmulas ¬f , f1 ∨ f2 , f1 ∧ f2 ,

f1 → f2 , f1 ↔ f2 , son lógicamente equivalentes a fórmulas que sólo contienen el
conectivo ↓, como se observa a continuación

¬f ⇔ f ↓ f
f1 ∨ f2 ⇔ (f1 ↓ f2 ) ↓ (f1 ↓ f2 )
f1 ∧ f2 ⇔ (f1 ↓ f1 ) ↓ (f2 ↓ f2 )
f1 → f2 ⇔ �(f1 ↓ f1 ) ↓ f2 � ↓ �(f1 ↓ f1 ) ↓ f2 �

(a) Verifique las anteriores equivalencias lógicas.

(b) Encuentre una fórmula que sólo utilice el conectivo ↓ y que sea lógicamente
equivalente a la fórmula f1 ↔ f2 .

13. Hallar el valor de verdad para los siguientes predicados donde las variables están
cuantificadas y el universo del discurso de las variables x y y son los números reales,
el de las variables n y m son los números naturales y a, b, c, d también son números
reales.

i. ∃x ∀n (x > n).
ii. ∃x ∀n (x < n).
iii. ∀n ∃x (x > n).
iv. ∀n ∃x (x < n).
v. ∀x (x2 > 0).
20 CAPÍTULO 2. LÓGICA MATEMÁTICA

vi. ∀x (x2 ≥ x).

vii. ∀x (−x ≤ 0).
viii. ∀x (x tiene inverso aditivo) ⇔ ∀x ∃y (x + y = 0).
ix. ∀x (x tiene inverso multiplicativo) ⇔ ∀x ∃y (xy = 1).
x. ∃x ∀y (xy = y)
xi. ∃x ∀y (xy = x)
xii. ∀x ∃y (xy = y)
xiii. ∀x ∃y (xy = x)
xiv. ∃x ∀a ∀b ∀c �(ax2 + bx + c = 0) ∧ (a ≠ 0)�.
xv. ∀a ∀b ∀c ∃x �(ax2 + bx + c = 0) ∧ (a ≠ 0)�.
xvi. ∃x ∀a ∀b ∃c �(ax2 + bx + c = 0) ∧ (a ≠ 0)�.
xvii. ∃x ∀a ∀b ∀c ∀d �(ax3 + bx2 + cx + d = 0) ∧ (a ≠ 0)�.
xviii. ∀a ∀b ∀c ∀d ∃x �(ax3 + bx2 + cx + d = 0) ∧ (a ≠ 0)�.
xix. ∃x ∀a ∀b ∀c ∃d �(ax3 + bx2 + cx + d = 0) ∧ (a ≠ 0)�.
xx. ∃n ∀m �(n � m) ∧ (n ≠ 0)�.
xxi. ∀n ∃m �(n � m) ∧ (n ≠ 0)�.

14. Usando las leyes de De Morgan para cuantificadores, negar los predicados del nume-
ral 13.