Unidad II Discreta

Universidad Nacional Autónoma de Honduras
Facultad de Ciencias
Escuela de Matemática y Ciencias de la Computación
Tarea Unidad II
MM420 Matemática Discreta
1. Para el universo de los enteros sean p(x), q(x), r(x), s(x) y t(x) las siguientes proposiciones abiertas
p(x): x > 0
q(x): x es par
r(x): x es un cuadrado perfecto
s(x): x es exactamente divisible por 4
t(x): x es exactamente divisible por 5
a(x, y): x e y son números pares
b(x, y): x + y es un número impar
1.1. Escriba las siguientes proposiciones en forma simbólica, además determine si es verdadera o falsa, y en
caso de ser falsa, dé un contraejemplo.
a. Al menos un entero es par.
b. Existe al menos un entero positivo que es par.
c. Si x es par, entonces x no es divisible por 5
d. Ningún entero par es divisible por 5
e. Existe un x tal que para todo y, x + y es un número par.
f. Para todo x e y, si x, y son números pares entonces x + y es un número par.
g. Para algunos x, y, si x + y son pares, entonces x e y son impares.
1.2. Exprese en palabras cada una de las siguientes representaciones simbólicas, además determine la negación
de cada una, verifique su valor de verdad, en caso de falso, dé un contraejemplo.
a. ∀x[r(x) → p(x)]
b. ∀x[s(x) → ¬t(x)]
c. ∃x[s(x) ∧ ¬r(x)]
d. ∀x[¬r(x) ∨ ¬q(x) ∨ s(x)]
e. ∃x∃y[a(x, y) ∧ b(x, y)]
f. ∀x∀y[¬b(x, y) → a(x, y)]
2. Para las siguientes proposiciones, el universo abarca todos los enteros distintos de cero. Determine el valor
de verdad y niegue cada una.
a. ∃x∀y[xy = 1]
b. ∀x∀y[sin2 x + cos2 x = sin2 y + cos2 y]
1
c. ∃x∃y[(2x + y = 5) ∧ (x − 3y = −8)]
p p
d. ∃x∃y[ 9x2 − 12xy + 4y 2 = 7 ∧ 4x2 + 16xy + 16y 2 = 3)]
2
x y−y
e. ∀x∀y y = (x − 1)(x + 1)
3. Para un universo dado y cualesquiera proposiciones abiertas p(x), q(x) en la variable x, demuestre que
a. ∃x[p(x) ∨ q(x)] ⇔ ∃xp(x) ∨ ∃xq(x)

b. ∀x[p(x) ∧ q(x)] ⇔ ∀xp(x) ∧ ∀xq(x)
c. ∀xp(x) ∨ ∀q(x) ⇒ ∀x[p(x) ∨ q(x)]
d. Encuentre un contraejemplo para la recı́proca del inciso c.
Recomendación: encuentre proposiciones abiertas p(x), q(x) y un universo tal que ∀x[p(x) ∨ q(x)] sea
verdadera, pero ∀xp(x) ∨ ∀xq(x) sea falsa.
4. Sean m, n dos enteros positivos. Demuestre que si m y n son cuadrados perfectos, entonces el producto mn
también es un cuadrado perfecto.
5. Para A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, determine el número de
a. subconjuntos de A.
b. subconjuntos propios de A
c. subconjuntos de A que contienen al menos cinco elementos, pero no más de 9.
d. subconjuntos propios de A que contengan a los números 1, 2, 3.
e. subconjuntos de A que contienen un número par de elementos.
6. Demuestre o refute con un contraejemplo lo siguiente
a. Para conjuntos A, B, C ⊂ U , A ∩ C = B ∩ C ⇒ A = B
b. Para conjuntos A, B, C ⊂ U , A ∪ C = B ∪ C ⇒ A = B
c. Para conjuntos A, B, C ⊂ U , [(A ∩ C = B ∩ C) ∧ (A ∪ C = B ∪ C)] ⇒ A = B
d. Para conjuntos A, B, C ⊂ U , A 4 C = B 4 C ⇒ A = B
7. Mediante las leyes de la teorı́a de conjuntos, simplifique lo siguiente
a. A ∩ (B ∩ ((Ac ∩ B) ∪ (Ac ∩ Bc ))
b. (A ∩ B) ∪ (A ∩ B ∩ C c ∩ D) ∪ (Ac ∩ B)
c. (A − B) ∪ (A ∩ B)
8. Demuestre lo siguiente mediante inducción matemática

n
X n2 (n + 1)2
a. i3 =
4
i=1
n
X
b. 2(3i−1 ) = 3n − 1
i=1
! Xn !2
2n n
c. =
n k
k=0
(n + 1)nx2
d. (1 + x)n ≥ 1 + (n + 1)n +
2
e. 2n ≥ 1 + n
2
9. Considere las siguientes 6 ecuaciones:
(1) 12 + 02 = 12 (3) 52 + 122 = 132 (5) 92 + 402 = 412

(2) 32 + 42 = 52 (4) 72 + 242 = 252 (6) 112 + 602 = 612
Conjeture la fórmula general y demuéstrela.
10. Dé una definición recursiva para cada una de las sucesiones de enteros c1 , c2 ,..., donde para cada n ∈ Z se
tiene
a. cn = 10n
b. cn = 10n
c. cn = (n + 1)(n + 2)
d. cn = 2 − (−1)n
11. Dé una definición recursiva para la disyunción de proposiciones p1 , p2 , ..., pn , pn+1 , , ≥ 1
12. Dé una deficinión recursiva para la intersección de conjuntos A1 , A2 , ..., An , An+1 ⊂ U

Unidad II Discreta

Cargado por

Copyright:

Formatos disponibles

Unidad II Discreta

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad II Discreta

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional Autónoma de Honduras

a. ∃x[p(x) ∨ q(x)] ⇔ ∃xp(x) ∨ ∃xq(x)

5. Para A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, determine el número de

6. Demuestre o refute con un contraejemplo lo siguiente

7. Mediante las leyes de la teorı́a de conjuntos, simplifique lo siguiente

8. Demuestre lo siguiente mediante inducción matemática

(1) 12 + 02 = 12 (3) 52 + 122 = 132 (5) 92 + 402 = 412

Conjeture la fórmula general y demuéstrela.

También podría gustarte