Matemáticas Discretas (ZI001- ZI002)

Facultad de Ciencias básicas

Profesor: Duvan Ricardo Herrera
Phd in Physics(UFRJ)
Universidad Santiago de Cali

Taller II
Febrero de 2023

Ejercicios

1. Determine el valor de verdad para las siguientes proposiciones las cuales tiene como domino de
discurso los números reales (use contra-ejemplos donde sea necesario):

(a) ∀x (x2 − 1 > 0).

(b) Para todo número real x, si x > 1, entonces x + 1 > 1.
 
(c) ∃x x2x+1 = 52 .
(d) ∀x ∀y ((x > 0 ∧ y < 0) → (x + y ̸= 0).
(e) ∀x (x2 > x).
(f) ∃x (x2 > x).

2. Sea P (x) la afirmación “x está en un curso de matemáticas”. El dominio de discurso es el conjunto

de todos los estudiantes. Escriba las siguientes proposiciones en palabras:

(a) ∀x P (x).
(b) ∃x P (x).
(c) ∀x ¬P (x).
(d) ∃x ¬P (x).

3. Demuestre por prueba directa que:

(a) Para cualesquiera enteros m y n, si m es impar, y n es par, entonces m + n es impar.

(b) Si n es un entero par, entonces n2 es un entero par.

4. Demuestre por prueba indirecta que:

(a) Si 3n + 2 es impar, entonces n es impar. Donde m y n son números enteros.

(b) Si n y m son enteros impares , entonces su producto es un número impar.

5. Sean A = {1, 2, 3, 4}, B = {3, 4, 5, 6, 7} y C = {2, 3, 8, 9} conjuntos. Determine:

(a) A ∪ B
(b) A ∪ C
(c) B ∪ C

1
 (d) A ∩ C
(e) A ∩ B
(f) B ∩ C

6. Suponga que U = {1, 2, 3, ...} es el conjunto universo. Sean A = {1, 2, 3, 4}, B = {3, 4, 5, 6, 7},
C = {2, 3, 8, 9}, E = {2, 4, 6, ...} (Aquı́ E es el conjunto de enteros pares.) Determine

(a) Ac
(b) B c
(c) C c
(d) E c
(e) A/B
(f) B/A
(g) A/E
(h) E/A
(i) A ⊕ B
(j) A ⊕ E

7. Considere los conjuntos A = {x, y, z, ♣, ♦, 1, ♡}, B = {♡, x, x, y, z, ♣, ♦, 1, ♡} , C = {x, y, z} y

D = {♣, ♦}. Determine el valor de verdad (falso o verdadero) para las siguientes afirmaciones:

(a) A = B
(b) A ̸⊂ B
(c) C ̸⊂ D
(d) C ⊂ A
(e) D ⊂ A
(f) D y C son ajenos.
(g) ♦ ∈ A
(h) ♡ ∈
/C