Lógica y matemáticas discretas – Gr.

01
I semestre 2017 – Taller #1
Profesor: Camilo Cubides

1 Problemas
1. Demuestre los siguientes teoremas

i) Sean a, b y c números enteros, si a | b y a | c, entonces a | (b + c).

ii) Sean a, b y c números enteros, si a | b y a | c, entonces a | (b − c).

2. Refutar por contraejemplo las siguientes afirmaciones

i) (x + y)2 = x2 + y 2 .
ii) (x + y)3 = x3 + y 3 .
iii) Todo entero positivo par puede ser expresado como la suma de dos primos impares.

3. Usando un argumento por contrarecı́proco demostrar el siguiente teorema:

Teorema 1. Si a, b son números reales tales que ab = 0, entonces a = 0 ó b = 0.

4. 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 ∧.

5. Establezca si las siguientes fórmulas son o no son lógicamente equivalentes.

i) • (p → p) → r • (r ∨ q) ∧ ¬(¬r ∧ q)

6. ¿Cuál de las siguientes fórmulas NO es lógicamente equivalente a la siguiente fórmula?:

p→q

i) ¬(p ∧ ¬q)
ii) ¬p ∨ q
iii) (p ∧ q) ↔ q
iv) (p ↔ q) ∨ q


v) p → (p → q) ∨ q
 7. ¿Cuál de las siguientes fórmulas NO es lógicamente equivalente a la siguiente fórmula?:

p ∧ (q ∨ r)

i) (r ∧ p) ∨ (p ∧ q)


ii) p ∧ (p ∧ q) ∨ r


iii) p ↔ (p → q) ∨ r


iv) (r ↔ q) ∨ q ∧ p

8. Si se tiene que x es un número real, entonces para las siguientes relaciones se cumple que
una es verdadera y la otra falsa. Determine cuál es la verdadera y establezca su veracidad
mediante una demostración valida. Para el caso de la falsa, exhiba un contraejemplo que
permita establecer que la relación no se cumple para todos los números reales.
1 1
• ≤1 • >1
x2 +1 x2 +1

9. Sea n un número entero. Para los siguientes enunciados

• α = n es impar • β = n2 es impar

i) Demuestre que la expresión α =⇒ β es verdadera.

ii) Demuestre que la expresión ¬β =⇒ ¬α es verdadera.
iii) ¿Qué se puede decir acerca de la veracidad de la expresión α ⇐⇒ β?.
iv) ¿Que se puede decir acerca de la veracidad de la expresión ¬β ⇐⇒ ¬α?.

10. Dados los números 437 y 439, se tiene que uno es primo el otro. Determine cuál de los
números es primo y cuál no, para esto puede utilizar el siguiente teorema
Teorema 2. Un entero positivo n mayor que 1 es compuesto si y sólo si n tiene un divisor
d que satisface la relación √
2≤d≤ n
√
11. Demuestre que 3 es un número irracional.

12. Determinar la veracidad de los siguientes enunciados, donde x y y son números reales, n y
m son los números naturales.

i) Existe un número real x tal que para todo número natural n, x > n.
ii) Existe un número real x tal que para todo número natural n, x < n.
iii) Para cada número natural n existe un número real x tal que x > n.
iv) Para cada número natural n existe un número real x tal que x < n.
v) Para todo número real x se tiene que x2 > 0.
vi) Para todo número real x se tiene que x2 ≥ x.
vii) Para todo número real x se tiene que −x ≤ 0.
viii) Para todo número real x existe un número real y tal que xy = 1.
 ix) Existe un número real x tal que para todo y, xy = y
x) Existe un número real x tal que para todo y, xy = x
xi) Para cada número real x existe un número real y tal que xy = y
xii) Para cada número real x existe un número real y tal que xy = x.
xiii) Existe un número natural n tal que para todo número natural m, n | m.
xiv) Para cada número natural n existe un número natural m tal que n | m.
xv) Existe un número natural m tal que para todo número natural n, n | m.

2 Solución
3. i) (x + y)2 = x2 + y 2
Si tomamos como x = 2 y y = 3, entonces se tiene que por una parte (x+y)2 = (2+3)2 =
52 = 25 y por otro lado x2 + y 2 = 22 + 32 = 4 + 9 = 13 lo que demuestra que en general
(x + y)2 6= x2 + y 2 .
ii) (x + y)3 = x3 + y 3
Si tomamos como x = 2 y y = 3, entonces se tiene que por una parte (x+y)3 = (2+3)3 =
53 = 125 y por otro lado x3 + y 3 = 23 + 33 = 8 + 27 = 35 lo que demuestra que en
general (x + y)3 6= x3 + y 3 .
iii) Todo entero positivo par puede ser expresado como la suma de dos primos impares.
Para el caso de n = 2, se tiene que las posibles combinaciones de pares de números
naturales cuya suma es n = 2 son 1 + 1 = 2 y 0 + 2, en el primer caso se tiene una suma
de números impares pero no de primos ya que 1 no es número primo y en el segundo
caso es una suma de números pares. A partir del análisis anterior se tiene que no todos
los enteros positivos se pueden expresar como la suma de dos primos impares.
5. ((p → p) → r) ↔ ((r ∨ q) ∧ ¬(¬r ∧ q))

p r q p→p (p → p) → r r∨q ¬r ¬r ∧ q ¬(¬r ∧ q)

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

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

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


Como la fórmula lógica (p → p) → r ↔ (r ∨ q) ∧ ¬(¬r ∧ q) es una tautologı́a, entonces
las fórmulas (p → p) → r y (r ∨ q) ∧ ¬(¬r ∧ q) son lógicamente equivalentes.

7. Vamos a calcular las tablas de verdad para la siguientes fórmulas

i) (p ∧ (q ∨ r)) ↔ ((r ∧ p) ∨ (p ∧ q))

p q r q∨r p ∧ (q ∨ r) r ∧ p p∧q (r ∧ p) ∨ (p ∧ q) (p ∧ (q ∨ r)) ↔ ((r ∧ p) ∨ (p ∧ q))
V V V V V V V V V
V V F V V F V V V
V F V V V V F 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

ii) (p ∧ (q ∨ r)) ↔ (p ∧ ((p ∧ q) ∨ r))

p q r q∨r p ∧ (q ∨ r) p∧q (p ∧ q) ∨ r p ∧ ((p ∧ q) ∨ r) (p ∧ (q ∨ r)) ↔ (p ∧ ((p ∧ q) ∨ r))
V V V V V V V V V
V V F V V V V 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 V F V
F V F V F F F F V
F F V V F F V F V
F F F F F F F F V

iii) (p ∧ (q ∨ r)) ↔ (p ↔ ((p → q) ∨ r))

p q r q∨r p ∧ (q ∨ r) p → q (p → q) ∨ r p ↔ ((p → q) ∨ r) (p ∧ (q ∨ r)) ↔ (p ↔ ((p → q) ∨ r))
V V V V V V V V V
V V F V V V V 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 V V F V
F V F V F V V F V
F F V V F V V F V
F F F F F V V F V
 iv) (p ∧ (q ∨ r)) ↔ (((r ↔ q) ∨ q) ∧ p)
p q r q∨r p ∧ (q ∨ r) r ↔ q (r ↔ q) ∨ q ((r ↔ q) ∨ q) ∧ p (p ∧ (q ∨ r)) ↔ (((r ↔ q) ∨ q) ∧ p)
V V V V V V V V V
V V F V V F V V V
V F V V V F F F F
V F F F F V V V F
F V V V F V V F V
F V F V F F V F V
F F V V F F F F V
F F F F F V V F V
A partir de los resultados anteriores se tiene que la única tabla de verdad donde no se obtuvo
una tautologı́a es la que corresponde al literal iv), es decir, la cuarta fórmula es la que no es
equivalente a la fórmula p ∧ (q ∨ r).

8. • La primera afirmación es verdadera, por lo tanto se procese a presentar su demostración.

Demostración: Sea x ∈ R, entonces x2 ≥ 0, si se suma 1 a ambos miembros de la

desigualdad se obtiene que x2 + 1 ≥ 1 de donde x2 + 1 ≥ 1 > 0, por lo tanto x2 + 1
es un valor positivo, lo que nos permite dividir la desigualdad x2 + 1 ≥ 1 por x2 + 1,
x2 + 1 1 1 1
obteniendo 2 ≥ 2 es decir 1 ≥ 2 , lo que es equivalente a 2 ≤ 1,
x +1 x +1 x +1 x +1
con lo cual queda demostrada la afirmación. X

• La segunda afirmación es falsa, por lo tanto se procese a presentar un contraejemplo.

1
1 1 1 4
Sea x = 21 , entonces 1 2 = 1 = 1 4 = 15 = < 1, con lo cual se demuestra
(2) + 1 4
+1 4
+4 4
5
1
que la desigualdad 2 > 1 no es valida para todos los números reales.
x +1
√
11. Demuestre que 3 es un número irracional (Demostración por contradicción).
√
Demostración:
√ Supóngase que 3 es un número racional, es decir se puede escribir en la
forma 3 = q , con q 6= 0, adicionalmente supóngase que pq es una fracción irreducible, es
p

decir, que p y q son números primos relativos (aquellos tales que el único√ divisor común es
p
1). Ahora si se eleva al cuadrado ambos miembros de la desigualdad 3 = q se obtiene
√ 2 2 2
3 = pq2 que es equivalente a la igualdad 3 = pq2 , si esta igualdad se multiplica por q 2
entonces se obtiene la igualdad 3q 2 = p2 , ahora como 3 es un número primo entonces 3 | p,
porque 3 debe dividir a alguno de los factores del número p2 = p × p, ya que 3 no se puede
componer por factores distintos del valor p al ser un número primo. Por otro, si en la igualdad
√
3 = pq se sustituye p por su equivalente factorización por 3, es decir, p = 3m con m ∈ Z,
√
entonces se obtiene la igualdad 3 = 3m q
, si se eleva al cuadrado esa igualdad se obtiene
2 2
3 = 3 qm2 y si ésta se multiplica por q 2 entonces se obtiene 3q 2 = 32 m2 , cancelando un 3 en
ambos miembros (6 3q 2 =6 3 × 3 × m2 ) se obtiene que q 2 = 3m2 ; haciendo un análisis análogo
al anterior se deduce que 3 | q, por lo tanto 3 | p y 3 | q, es decir la fracción pq si es reducible,
lo cual contradice que pq era irreducible, esto es una contracción, por lo tanto la suposición
√ √
inicial era falsa ( 3 es un número racional), de donde 3 es un número irracional X