Lógica y Matemáticas Discretas

2021-2
Taller Preparcial #1

Descripción general
Este taller Preparcial tiene como objetivo acercar al estudiante a los contenidos y competencias
de la asignatura. Es un material de apoyo para la preparación de los parciales.

Competencias:

3 Determina las veracidad de las distintas relaciones entre elementos de los sistemas numéricos.

3 Aplica definiciones básicas en la demostración de teoremas.

3 Establece el valor de verdad de una proposición.

3 Elabora demostraciones y formula contraejemplos.

3 Identifica expresiones booleanas equivalentes, tautologı́as, contradicciones y contingencias.

1. Defina lo que significa que un número sea un número triangular. Escriba la fórmula general
de los números triangulares. Determine cuáles son los primeros 5 números triangulares y
escrı́balos utilizando la fórmula enunciada previamente.

2. Defina lo que significa que un número sea un número de Mersenne, luego defina que significa
que un número sea un primo de Mersenne. Determine cuáles son los primeros 5 primos de
Mersenne y escrı́balos en forma de números de Mersenne.

3. Demuestre o refute: Sean a, b y c números enteros. a ∣ b y a ∣ c, si y sólo si, a ∣ (bc).

4. Demuestre o refute: Si a, b y c son números enteros tales que a ∣ (b − c) y a ∣ c, entonces a ∣ b.

5. Demuestre o refute: Si a y b son números enteros. a ∣ b2 , si y sólo si, a ∣ b.

6. Demuestre que si n es un número entero tal que 3 ∣ n2 , entonces 3 ∣ n.

7. Demuestre que si n es un número entero y p es un número primo tal que p ∣ n2 , entonces p ∣ n.

8. Demuestre o refute: Si a, b y c son números enteros tales que c ∣ a y c ∣ b, entonces c ∣ (ax + by)
donde x y y son números enteros.

9. Demuestre o refute: Si a, b y c son números enteros tales que a ∣ c y b ∣ c, entonces (a + b) ∣ 2c.

10. Sea x un número entero. Demuestre que 0 ∣ x, si y sólo si, x = 0.

11. Demuestre que si n, m ∈ Z y 0 < n < m, entonces m ∕n.

∣

12. Demuestre o refute que si a, b ∈ Z+ y a ∣ b, entonces a ≤ b.

13. Pruebe que 6 ∣ n, si y sólo si, 3 ∣ n y 2 ∣ n.

14. Demuestre que el producto de tres números consecutivos siempre es divisible por 6

Página 1 de 4
 Lógica y Matemáticas Discretas
2021-2
15. Demuestre o refute. Sean a, b ∈ Z. a es impar y b es impar, si y sólo si, a + b es par.

16. Demuestre que si n es un número entero impar, entonces 8 ∣ (n3 − n). Ayuda: tenga en cuenta
que dados dos números enteros consecutivos se tiene que o el primero es par y el segundo
impar o viceversa.

17. Sea n un número entero. Demuestre que si n > 3, entonces n3 + 8 es un número compuesto.

18. Sea n un número entero. Demuestre que si n > 2, entonces n9 − 8 es un número compuesto.

19. Demostrar que la diferencia entre dos cuadrados perfectos distintos no consecutivos, donde el
minuendo es mayor que el sustraendo, es un número compuesto.
n2 − n
20. Demuestre que si n es un número entero, entonces es un número entero. Recomendación:
2
Considere los casos cuando n es par o cuando n es impar.

21. Demuestre o refute que si n es un entero primo, entonces 2n − 1 es un número primo.

22. Encuentre todos los números enteros para los cuales x ∣ (x + 2).

23. Defina lo que significa que n > m (“n es mayor estrictamente que m”), para n, m números
naturales. Nota: tenga en cuenta que no puede utilizar la resta en la definición ya que ésta
no es una operación cerrada para los naturales, es decir no está bien definida.

24. Demuestre que 9 > 5 y 7 ≯ 7 utilizando la definición anterior.

25. Muestre mediante un ejemplo, que en general las siguientes igualdades no son ciertas sobre los
reales. Con esto se puede concluir que estas no son propiedades que se puedan aplicar siempre
para todos los números reales.
x +y vi) logn (xy) = logn x ⋅ logn y
i) =x+1
y

x+y y
 vii) logn (x + y) = logn x + logn y
ii) = √ √ √
2
x 2 n n
viii) a + b = n a + b, con n > 2.
a b a⋅b
iii) ÷ = ix) ∣a + b∣ = ∣a∣ + ∣b∣
c d c⋅d
iv) xm ⋅ y n = (xy)mn x) a ÷ (b ÷ c) = (a ÷ b) ÷ c,
v) (a + b)n = an + bn , con n > 2. con a ≠ 0, b ≠ 0 y c ≠ 0.

26. Demuestre que un número natural n es divisible entre 9, si la suma de los dı́gitos del número es
divisible entre 9. Ayuda: Escriba el número n como la suma de potencias de 10 multiplicadas
por cada uno de los dı́gitos de n, observe que 10m se puede escribir como 10m = 999⋯99 +1,
´¹¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹¶
m−dı́gitos
distribuya cada dı́gito del número n por la correspondiente suma conformada por 9’s y el 1,
note que 999⋯99 es divisible entre 9, por último agrupe la suma de los dı́gitos que se obtiene al
´¹¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹¶
m−dı́gitos
multiplicar cada dı́gito de n por 1 y asuma que ésta es divisible entre 9, con el fin de concluir
que n es divisible entre 9.

Página 2 de 4
 Lógica y Matemáticas Discretas
2021-2
27. Sea x un número entero. Demuestre que si x > 3, entonces x3 > 2x2 + 7.

28. Sea a un número entero. Demuestre que si a > 7, entonces a3 > 5a2 + 5a + 48.

29. Sea n un número entero. Demuestre que si n > 4, entonces n3 > 2n2 + 4n + 18.

30. Considere el siguiente par de enunciados, suponiendo que x es un número real:

A∶0<x≤1 B ∶ x2 ≤ x

A partir de éstas, construya las afirmaciones para cada literal que se presenta a continuación,
y determine cuales son verdaderas en general, en este caso argumente por que resultan ser
ciertas para cada número real x, y para el caso en el que sean falsas exhiba un contraejemplo.

i) Si A entonces B.
ii) Si B entonces A.
iii) Si no A entonces B.
iv) Si B entonces no A.
v) no A o B.
vi) A, si y sólo si, B.

31. Considere el siguiente par de enunciados, suponiendo que n es un número entero:

A ∶ n es un número positivo, B ∶ n + 1 es un número positivo

A partir de éstas, construya las afirmaciones para cada literal que se presenta a continuación, y
determine cuales son verdaderas en general, en este caso argumente por que resultan ser ciertas
para cada número entero n, y para el caso en el que sean falsas exhiba un contraejemplo.

i) Si A entonces B.
ii) Si B entonces A.
iii) Si no A entonces B.
iv) Si B entonces no A.
v) no A o B.
vi) A, si y sólo si, B.

32. Demuestre que (x ∧ (x → y)) ∧ (¬y) es una contradicción.

33. Determine si las siguientes expresiones booleanas son tautologı́as, contradicciones o contin-
gencias:

a) (¬x ∨ y) ↔ (x ∧ ¬y) c) ((x → y) ∧ (¬y ∨ z)) → (x → z)

b) (¬(x ∧ y)) ↔ (¬x ∨ ¬y) d ) ¬(r → (¬p ∨ q)) ∧ ((p → q) ∨ ¬s)

Página 3 de 4
 Lógica y Matemáticas Discretas
2021-2
34. Considere la siguiente declaración de un polı́tico

“Si la economı́a mejora, construiremos un nuevo hospital ”.

Debata acerca de la veracidad o falsedad de esta declaración en aquellos escenarios en los cuales
la economı́a mejora y se construye un hospital, ¿qué pasa si un hospital no se construye aún
cuando la economı́a mejora?. Si la economı́a no mejora, ¿qué pasa si un hospital se construye
de todos modos?. ¿Se puede argumentar que el polı́tico no se comprometió con la posible
eventualidad de que la economı́a no mejorara?. ¿El uso de la implicación está justificado?.

Página 4 de 4