Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Problemas Resueltos A PDF
Problemas Resueltos A PDF
programación de
Computadores: Lógica Matemática.
Tom Hanks ha ganado dos premios Oscar como mejor actor por dos años con-
secutivos.
Solución:
Es una proposición.
Dame una cerveza.
Solución:
No es una proposición ya que es una orden.
Colombia ganó ocho medallas olı́mpicas en Londres 2012.
Solución:
Es una proposición.
Todo número primo es impar.
Solución:
Es una proposición. Aunque su afirmación es falsa, en efecto 2 es un número
primo par.
1 + 1 = 2.
Solución:
Es una proposición. Además verdadera
La diferencia de dos primos.
Solución:
No es una proposición, pues falta un complemento para decidir su grado de
verdad.
1
Programación de computadores - Bogotá 2
Todo número par mayor que 2 puede escribirse como suma de dos números
primos. (Christian Goldbach, 1742).
Solución:
Es una proposición. Esta proposición se conoce como conjetura ya que su valor
de verdad no ha podido ser demostrado matemáticamente.
¿Qué hora es?.
Solución:
No es una proposición pues es una pregunta.
xn + y n = z n .
Solución:
No es una proposición ya que es un enunciado abierto, es decir, depende del
valor de las variables x, y, z y n respectivamente.
x + y = z + y si x = z.
Solución:
Es una proposición.
2. De las siguientes secuencias de sı́mbolos cuáles son fórmulas bien formadas y cúales
no?.
((¬(p) → r) ∧ (p¬q))
Solución:
No es una formula bien formada, en efecto en el lado derecho de la conjunción,
la expresión (p¬q) relaciona el operador unario ¬ con dos proposiciones, lo cual
no es valido en el cálculo proposicional.
((¬(p) ↔ ¬(q)) ↔ (q → r))
Solución:
Es una formula bien formada.
(p ∧ q) ∨ (q → p))
Solución:
No es una formula bien formada por que el último parentesis ) no se abre con
ningún otro.
((p ↔ p) ∧ (p → p) ∨ (p ∧ ¬(p)))
Solución:
No es una formula bien formada por que la conjunción no está encerrada en-
tre parentesis como afirma las reglas del cálculo proposicional. O bien no hay
parentesis que controlen la disyunción.
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) ↔ ((r ∨ s) → q)) .
p → q → q → p.
(((p → q) → q) → p).
¬p ↔ q ∨ ¬r ∨ (p → r) ↔ ¬¬q.
((¬(p) ↔ ((q ∨ ¬(r)) ∨ (p → r))) ↔ ¬(¬(q)))
p ∨ (q ∧ r) ↔ p ∨ q ∧ (p ∨ q).
p → q → q → p. Si ζ(p) = V, ζ(q) = F .
ζ(f ) = F .
Tercio excluı́do f : p ∨ ¬p ↔ T
p ¬p T p ∨ ¬p f
V F V V V
F V V V V
Contradicción f : p ∧ ¬p ⇔⊥
p ¬p ⊥ p ∧ ¬p f
V F F F V
F V F F V
Identidad
• f: p∨ ⊥↔ p
p ⊥ p∨ ⊥ f
V F V V
F F F V
• f: p ∧ T ↔ p
p T p∨ ⊥ f
V V V V
F V F V
Dominación
• f: p ∨ T ↔ T
p T p∨T f
V V v V
F V v V
• f: p∧ ⊥↔⊥
p ⊥ p∧ ⊥ f
V F F V
F F F V
Doble negación f : ¬¬p ↔ p.
p ¬p ¬¬p f
V F V V
F V F V
Conmutativas
• f: p ∨ q ↔ q ∨ p
p q p∨q q∨p f
V V V V V
V F V V V
F V V V V
F F F F V
• f: p ∧ q ↔ q ∧ p
p q p∧q q∧p f
V V V V V
V F F F V
F V F F V
F F F F V
• f: (p ↔ q) ↔ (q ↔ p)
p q p↔q q↔p f
V V V V V
V F F F V
F V F F V
F F V V V
Asociativas
• f : (p ∨ q) ∨ r ↔ p ∨ (q ∨ r).
p q r p ∨ q (p ∨ q) ∨ r q ∨ r p ∨ (q ∨ r) f
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V F V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F F F V
Distributivas.
• f : p ∨ (q ∧ r) ↔ (p ∨ q) ∧ (p ∨ r)
p q r q ∧ r p ∨ (q ∧ r) p ∨ q p ∨ r (p ∨ q) ∧ (p ∨ r) f
V V V V V V V V V
V V F F V V V V V
V F V F V V V V V
V F F F V V V V V
F V V V V V V V V
F V F F F V F F V
F F V F F F V F V
F F F F F V F F V
• f : p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r)
p q r q ∨ r p ∧ (q ∨ r) p ∧ q p ∧ r (p ∧ q) ∨ (p ∧ r) f
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V
• f : p → (q → r) ↔ (p → q) → (p → r)
p q r q → r p → (q → r) p → q p → r (p → q) → (p → r) f
V V V V V V V V V
V V F F F V V F V
V F V V V F F V V
V F F V V F F V V
F V V V V V V V V
F V F F V V V V V
F F V V V V V V V
F F F V V V V V V
Leyes de De Morgan
• f : ¬(p ∨ q) ↔ ¬p ∧ ¬q
p q ¬p ¬q p ∨ q ¬(p ∨ q) ¬p ∧ ¬q f
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V
• f : ¬(p ∧ q) ↔ ¬p ∨ ¬q
p q ¬p ¬q p ∧ q ¬(p ∧ q) ¬p ∨ ¬q f
V V F F V F F V
V F F V F V v V
F V V F F V v V
F F V V F V V V
p q ¬p ¬q p → q ¬q → ¬p f
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
Material: f : (p ↔ q) ↔ (p → q) ∧ (q → p).
p q p → q q → p (p → q) ∧ (q → p) p ↔ q f
V V V V V V V
V F F V F F V
F V V F F F V
F F V V V F V
Exportación: f : p → (q → r) ↔ (p ∧ q) → r
p q r q → r p → (q → r) p ∧ q (p ∧ q) → r f
V V V V V V V V
V V F F F V F V
V F V V V F V V
V F F V V F V V
F V V V V F V V
F V F F V F V V
F F V V V F V V
F F F V V F V V
p q p∧q f
V V V V
V F F V
F V F V
F F F V
Ley de adición f : p → (p ∨ q)
p q p∨q f
V V V V
V F V V
F V V V
F F F V
p q p → q p ∧ (p → q) f
V V V V V
V F F F V
F V V F V
F F F F V
p q ¬q ¬p p → q ¬q ∧ (p → q) f
V V F F V F V
V F V F F F V
F V F V V F V
F F V V V V V
Silogismos hipóteticos.
• f : (p → q) ∧ (q → r) ⇒ p → r
p q r p → q q → r (p → q) ∧ (q → r) p → r f
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
• f : (p ↔ q) ∧ (q ↔ r) ⇒ p ↔ r
p q r p ↔ q q ↔ r (p ↔ q) ∧ (q ↔ r) p ↔ r f
V V V V V V V V
V V F V F F F V
V F V F F F V V
V F F F V F F V
F V V F V F F V
F V F F F F V V
F F V V F F F V
F F F V V V V V
Silogismos disyuntivos.
• f : ¬p ∧ (p ∨ q) ⇒ q
p q ¬p p ∨ q ¬p ∧ (p ∨ q) f
V V F V F V
V F F V F V
F V V V V V
F F V F F V
• f : p ∧ (¬p ∨ ¬q) ⇒ ¬q
p q ¬p ¬q ¬p ∨ ¬q p ∧ (¬p ∨ ¬q) f
V V F F F F V
V F F V V V V
F V V F V F V
F F V V V F V
p q ¬p p → q ¬p ⇒ q (p → q) ∧ (¬p → q) f
V V F V V V V
V F F F V F V
F V V V V V V
F F V V F F V
Eliminación de equivalencia. f : (p ↔ q) ⇒ p → q.
Dado que (p ↔ q) ⇔ p → q ∧ q → p. Por la ley de simplificación se obtiene el
resultado.
Introducción de la equivalencia. f : (p → q) ∧ (q → p) ⇒ p ↔ q.
Dado que (p ↔ q) ⇔ p → q ∧ q → p. Por definición de la equivalencia lógica se
obtiene el resultado.
Dilemas constructivos
• f : (p → q) ∧ (r → s) ∧ (p ∨ r) ⇒ (q ∨ s)
p q r s p → q r → s p ∨ r (p → q) ∧ (r → s) ∧ (p ∨ r) f
V V V V V V V V V
V V V F V F V F V
V V F V V V V V V
V V F F V V V V V
V F V V F V V F V
V F V F F F V F V
V F F V F V V F V
V F F F F V V F V
F V V V V V V V V
F V V F V F V F V
F V F V V V F F V
F V F F V V F F V
F F V V V V V V V
F F V F V F V F V
F F F V V V F F V
F F F F V V F F V
¬q ∨ ¬s (p → q) ∧ (r → s) ∧ (¬q ∨ ¬s) f
F F V
V F V
F F V
V V V
V F V
V F V
V F V
V F V
F F V
V F V
F F V
V V V
V V V
V F V
V V V
V V V
f1 := p
q y f2 : q → p.
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).
a) f : p ∨ q ↔ ¬(¬p ∧ ¬q)
ζ(p) ζ(q) ζ(¬p) ζ(¬q) ζ(¬p ∧ ¬q) ζ(¬(¬p ∧ ¬q)) ζ(p ∨ q) ζ(f )
V V F F F V V V
V F F V F V V V
F V V F F V V V
F F V V V F F V
Luego, es una tautologı́a.
b) f : p → q ↔ ¬(p ∧ ¬q)
9. Con los operadores lógicos ¬ y ∨ es posible expresar los otros operadores lógicos
(∧, →, ↔). Encontrar fórmulas 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.
a) f : p ∧ q ↔ ¬(¬p ∨ ¬q)
ζ(p) ζ(q) ζ(¬p) ζ(¬q) ζ(¬p ∨ ¬q) ζ(¬(¬p ∨ ¬q)) ζ(p ∧ q) ζ(f )
V V F F F V V V
V F F V V F F V
F V V F V F F V
F F V V V F F V
Luego, es una tautologı́a.
b) f : p → q ↔ ¬p ∨ q
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 verda-
dera cuando se cumpla que sólo una de las fórmulas f1 o f2 sea verdadera. De esta
manera, la semántica para este conectivo es la siguiente
11. Adicional a los conectivos lógicos presentados, existe otro conectivo, tal como el co-
nectivo barra de Sheffer(|), para el cual su semántica es la siguiente
¬f ⇔ f |f
f1 ∨ f2 ⇔ (f1 |f1 )|(f2 |f2 )
f1 ∧ f2 ⇔ (f1 |f2 )|(f1 |f2 )
f1 → f2 ⇔ f1 |(f2 |f2 )
f : p ∧ q ↔ (p|q)|(p|q).
f : p → q ↔ p|(q|q)
b) Encuentre un fórmula que sólo utilice el conectivo | y que sea lógicamente equi-
valente a la fórmula p ↔ q.
p ↔ q ⇔ ((p|(q|q))|(q|(p|p)))|((p|(q|q))|(q|(p|p)))
12. Adicional a los conectivos lógicos presentados, existe otro conectivo, tal como el co-
nectivo flecha de Peirce(↓), para el cual su semántica es la siguiente
¬f ⇔ f ↓ f
f1 ∨ f2 ⇔ (f1 ↓ f2 ) ↓ (f1 ↓ f2 )
f1 ∧ f2 ⇔ (f1 ↓ f1 ) ↓ (f2 ↓ f2 )
f1 ↔ f2 ⇔ ((f1 ↓ f1 ) ↓ f2 ) ↓ ((f1 ↓ f1 ) ↓ f2 ).
f : p ∧ q ↔ (p ↓ q) ↓ (p ↓ q).
b) Encuentre un fórmula que sólo utilice el conectivo ↓ y que sea lógicamente equi-
valente a la fórmula f1 ⇔ f2 .
p ↔ q ⇔ (((p ↓ p) ↓ q) ↓ ((p ↓ p) ↓ q)
↓ ((q ↓ q) ↓ p) ↓ ((q ↓ q) ↓ p)) ↓ (((p ↓ p) ↓ q) ↓ ((p ↓ p)
↓ q) ↓ ((q ↓ q) ↓ p) ↓ ((q ↓ q) ↓ p))
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
n − 1 < n.
f ) ∀x(x2 ≥ x).
Falso, considere x = 12 , tenemos que x2 = 1
4 y 1
4 < 1
2
g) ∀x(−x ≤ 0).
Si x un numero real, por ejemplo x=-1, se tiene que 1 = −x > 0. Por lo tanto
el argumento es falso.
j) ∃x∀y(xy = y).
Tome x=1. Y se obtiene que el argument es verdad.
k) ∃x∀y(xy = x).
Tome x=0 y se obtiene que el argumento es verdadero
l) ∀x∃y(xy = y).
Para cualquier numero x real, tome y=0 y se obtiene que el argumento es
verdadero.
m) ∀x∃y(xy = x).
Para cualquier numero x real, tome y=1 y se obtiene que el argumento es
verdadero.
n) ∃x∀a∀b∀c((ax2 + bx + c = 0) ∧ (a 6= 0)).
Falso, para cualquier numero real x, se tiene que la ecuación x2 + 1 6= 0.
o) ∃x∀a∀b∃c((ax2 + bx + c = 0) ∧ (a 6= 0)).
Verdadero, para cualquier número real x, tome c = −ax2 − bx.
s) ∃n∀m((n|m) ∧ (n 6= 0)).
Verdadero, tome n=1.
t) ∀n∃m((n|m) ∧ (n 6= 0)).
Verdadero, para cada n natural, tome m=n y se tiene que n|m = n|n.
u) ∃m∀n((n|m) ∧ (n 6= 0)).
Verdadero, tome m=0. Todo numero divide a 0.
14. Usando las leyes de De Morgan para cuantificadores, negar los predicados del numeal
13.
f ) ∀x(x2 ≥ x).
∃x(x2 < x)
g) ∀x(−x ≤ 0).
∃x(−x > 0)
j) ∃x∀y(xy = y).
∀x∃y(xy 6= y)
k) ∃x∀y(xy = x).
∀x∃y(xy 6= x)
l) ∀x∃y(xy = y).
∃x∀y(xy 6= y)
m) ∀x∃y(xy = x).
∃x∀y(xy 6= x)
n) ∃x∀a∀b∀c((ax2 + bx + c = 0) ∧ (a 6= 0)).
∀x∃a∃b∃c((ax2 + bx + c 6= 0) ∨ (a = 0))
o) ∃x∀a∀b∃c((ax2 + bx + c = 0) ∧ (a 6= 0)).
∀x∃a∃b∀c((ax2 + bx + c 6= 0) ∨ (a = 0))
s) ∃n∀m((n|m) ∧ (n 6= 0)).
∀n∃m((n 6 |m) ∨ (n = 0))
t) ∀n∃m((n|m) ∧ (n 6= 0)).
∃n∀m((n 6 |m) ∨ (n = 0))
u) ∃m∀n((n|m) ∧ (n 6= 0)).
∀m∃n((n 6 |m) ∨ (n = 0))