Primeros Parciales

Matematica Discreta

13 Jul, 2013

Indice
1. Ma
nana
1.1. Tema 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Tema 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
2
7

2. Tarde
12
2.1. Tema 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Tema 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.
1.1.

Ma
nana
Tema 1

1. Resolver, justificando, cada una de las siguientes cuestiones:

(a) Simplificar [(q p) (p q) (q q)] [(p p) (p p)]
Respuesta:
[(q p) (p q) (q q)] [(p p) (p p)]
[(q p) (p q) (q q)] [(p p) p]
[(q p) (p q) (q q)] F
F
Soluci
on en WolframAlphaTM .

(b) Negar la proposici

on: x[y : (x + y = 0)] definida en el conjunto Z, de los n
umeros enteros
y dar su valor de verdad.
Respuesta:
{x[y : (x + y = 0)]}
x[y : (x + y = 0)]
x[y : (x + y 6= 0)]
Falso, contraejemplo: Si tomo un x generico, la y va a depender de este de la forma: x 6= y,
pero si y = x F

(c) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: Si Hugo se casa,
entonces Alicia se suicida. Alicia se suicida siempre y cuando Hugo no se
haga cura. Por lo tanto si Hugo se casa no se har
a cura.
Respuesta:
pq
q r
p r

p q (1)
q r(2)
r q
p r
Por (1) y (2) se llega a la conclusi
on Razonamiento V
alido
Soluci
on en WolframAlphaTM .

2. (a) En el conjunto A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} se define la relacion aRb a b = 3k, k

Z. Se sabe que es reflexiva y simetrica. Dar la matriz de la relacion. Probar que es de
equivalencia, dar las clases y el conjunto cociente
Respuesta:
Transitiva : x, y, z A; k1 , k2 Z
xRy yRz
x y = 3k1 y z = 3k2
(x 3k1 ) z = 3k2
x z = 3k2 + 3k1
x z = 3(k2 + k1 )
(k2 + k1 ) Z
xRz
R es transitiva

1
0

0
Matriz de la relacion :
0

0
1

0
1
0
0
1
0
0
1
0
0

0
0
1
0
0
1
0
0
1
0

1
0
0
1
0
0
1
0
0
1

0
1
0
0
1
0
0
1
0
0

0
0
1
0
0
1
0
0
1
0

1
0
0
1
0
0
1
0
0
1

0
1
0
0
1
0
0
1
0
0

0
0
1
0
0
1
0
0
1
0

1
0

0
1

Clase generica :
Cl(x) = y A; k Z/y = x 3k
Conjunto cociente :
A/R = {0, 1, 2}

(b) Considerar el conjunto B = {{a}, {b}, {c}, {a, b}, {b, c}}, ordenado por la inclusion. Hacer
el diagrama de Hasse e indicar los maximales y/o minimales
Respuesta:
{a, b}
{a}
Maximales: {{a, b}, {b, c}}
Minimales: {{a}, {b}, {c}}

{b, c}
{b}

{c}

3. Justificar cada afirmac

on al resolver cada una de las siguientes cuestiones
(a) Sin hacer la opercaci
on, calcular el resto en la division de 347 por 23
Respuesta:
347 = 322 322 33
1 1 33
4
Peque
no teorema de Fermat

(b) Resolver la ecuaci

on 15x = 6 en Z21 . Si tiene solucion, darla.
Respuesta:
m.c.d(21, 15) = 3 6|3 Tiene 3 soluciones
15 6 6(21)
15 13 6(21)
15 20 6(21)

(c) Dar la clase de equivalencia de: 6, 3, 5, 7, 18 en Z5

Respuesta:
6 4.
3 3.
5 0.
7 2.
18 3.

4. Justificar al resolver. Dada la siguiente relacion de recurencia, an+1 = 4an + 5an1 . Se pide
hallar la soluci
on general y la solucion particular para a1 = 1; a2 = 2. Probar que la sucesi
on
hallada es la correcta usando induccion matematica.
Respuesta:

Soluci
on general :
Suponemos solucion de an : xn
xn+1 = 4xn + 5xn1
0 = x2 + 4x + 5
x1 = 1 ; x2 = 5
an = k1 (1)n + k2 5n
Soluci
on particular :
a1 = 1 = k1 (1) + k2 5
a2 = 2 = k1 (1)2 + k2 52
7
1
k1 = ; k2 =
6
30
Soluci
on :
1
7
an = (1)n + 5n
6
30
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (1)3 + 53 = 3 = 4 2 + 5 (1) X
6
30
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (1)h1 + 5h1
6
30
7
1
ah = (1)h +
5h
6
30
Tesis Inductiva :
ah+1 = 4ah + 5ah1
7
1
7
1
5h ] + 5[ (1)h1 +
5h1 ]
= 4[ (1)h +
6
30
6
30
7
1
7
1
= 4 (1)h + 4 5h + 5 (1)h1 + 5
5h1
6
30
6
30
7
1
5
= 4 (1)h (1) (1) + 4
5h +
6
30
5
7
1
52
+ 5 (1)h1 (1) (1) + 5
5h1 2
6
30
5
1
h+1
4

5
5 1 5h+1
7
7
30
= 4 (1)h+1 +
+ 5 (1)h+1 + 30 2
6
5
6
5
7
1
h+1
h+1
ah+1 = (1)
+
5
X
6
30
Soluci
on en WolframAlphaTM .

5. Dar el valor de verdad de las siguientes proposiciones (usar un contraejemplo o probar)

(a) Si R y S son relaci
ones definidas en A. Entonces R S R S
Respuesta:
Falso
A = {1, 2}. R = {(1; 1)}. S = {(1; 1), (1; 2)}
R = {(1; 2), (2; 2), (2; 1)}. S = {(2; 2), (2; 1)}

(b) (2)n es soluci

on de an + 2an1 = 0
Respuesta:
Verdadero
an = 2an1
Solucion :
an = (2)n a0

(c) No es posible dar 4 subconjuntos para {1, {2, 3}}

Respuesta:
Verdadero
#P(A) = 2#A
22 = 4 X
P = {, {1}, {2, 3}, {1, {2, 3}}}

1.2.

Tema 2

1. Resolver, justificando, cada una de las siguientes cuestiones:

(a) Simplificar {(p q) (p q) [(q p) p]} [(p) (p p)]
Respuesta:
{(p q) (p q) [(q p) p]} [(p) p]
{(p q) (p q) [(q p) p]} F
F
Soluci
on en WolframAlphaTM .

(b) Negar la proposici

on: x[y : (x + y = 0)] definida en el conjunto Z, de los n
umeros enteros
y dar su valor de verdad.
Respuesta:
{x[y : (x + y = 0)]}
x[y : (x + y = 0)]
x[y : (x + y 6= 0)]
Verdadero, y 6= x

(c) Analizar, sin usar tablas de verdad la validez del siguiente razonamiento: Si las manos
del mayordomo est
an manchadas de sangre, entonces el mayordomo es culpable.
El mayordomo est
a impecablemente limpio.
Por lo tanto el mayordomo es inocente.
Respuesta:
pq
p
q

[(p q) (p)] q
[(p q) (p)] q
(p) q
p q
No se llega a una tautologia Razonamiento Invalido
Soluci
on en WolframAlphaTM .

2. (a) En el conjunto A = {0, 2, 4, 6, 8, 10, 12, 14} se define la relacion aRb ab = 3k, k Z.
Dar la matriz de la relaci
on. Probar que es de equivalencia, dar las clases y el conjunto
cociente
Respuesta:

1
0

1
Matriz de la relacion :
0

1
0

0
1
0
0
1
0
0
1

0
0
1
0
0
1
0
0

1
0
0
1
0
0
1
0

0
1
0
0
1
0
0
1

0
0
1
0
0
1
0
0

1
0
0
1
0
0
1
0

0
1

0
1

Reflexiva: Tiene 1s en la diagonal principal

Simetrica: Es simetrica a lo largo de la diagonal principal
Transitiva: Ver tema 1. Ej2. a)

Clase generica :
Cl(x) = y A; k Z/y = x 3k
Conjunto cociente :
A/R = {0, 2, 4}

(b) Considerar el conjunto A del punto anterior, como subconjunto de N {0} ordenado por
la divisibilidad. Hacer el diagrama de Hasse e indicar los maximales y/o minimales.
Respuesta:
8

12

10

2
0
Maximales: {8, 12, 10, 14}
Minimales: {0} (Como es unico, tambien es mnimo)

14

3. Justificar cada afirmac

on al resolver cada una de las siguientes cuestiones
(a) Sin hacer la opercaci
on, calcular el resto en la division de 321 por 12
Respuesta:
Sabiendo que 33 = 27 3(12)
321 = (33 )7 37 (12)
33 33 3(12)
3 3 3(12)
3(12)

(b) Resolver la ecuaci

on 21x = 12 en Z18 . Si tiene solucion, darla.
Respuesta:
m.c.d(18, 21) = 3 12|3 Tiene 3 soluciones
21 4 12(18)
21 10 12(18)
21 16 12(18)

(c) Dar la clase de equivalencia de: 6, 3, 5, 7, 18 en Z6

Respuesta:
6 0.
3 3.
5 5.
7 1.
18 0.

4. Justificar al resolver. Dada la siguiente relacion de recurencia, an = 4an1 + 5an2 . Se pide

hallar la soluci
on general y la solucion particular para a1 = 2; a2 = 1. Probar que la sucesi
on
hallada es la correcta usando induccion matematica.
Respuesta:

Soluci
on general :
Suponemos solucion de an : xn
xn = 4xn1 + 5xn2
0 = x2 + 4x + 5
x1 = 1 ; x2 = 5
an = k1 (1)n + k2 5n
Soluci
on particular :
a1 = 2 = k1 (1) + k2 5
a2 = 1 = k1 (1)2 + k2 52
11
1
k1 =
; k2 =
6
30
Soluci
on :
1
11
(1)n
5n
an =
6
30
Prueba por inducci
on :
Paso base (3) :
11
1
a3 =
(1)3
53 = 6 = 4 (2) + 5 1 X
6
30
Prueba por inducci
on :
Hipotesis Inductiva :
1
11
(1)h1
5h1
ah1 =
6
30
11
1
ah =
(1)h
5h
6
30
Tesis Inductiva :
ah+1 = 4ah + 5ah1
11
1
11
1
5h ] + 5[ (1)h1
5h1 ]
= 4[ (1)h
6
30
6
30
11
1
11
1
=4
(1)h 4
5h + 5
(1)h1 5
5h1
6
30
6
30
11
1
5
= 4 (1)h (1) (1) 4
5h +
6
30
5
11
1
52
+5
(1)h1 (1) (1) 5
5h1 2
6
30
5
1
1
h+1
4

5
5 30
5h+1
11
7
30
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
11
1
ah+1 =
(1)h+1
5h+1 X
6
30
Soluci
on en WolframAlphaTM .

5. Dar el valor de verdad de las siguientes proposiciones (usar un contraejemplo o probar)

(a) Si R y S son relaci
ones definidas en A. Entonces R S R1 S 1
Respuesta:
Verdadero
x, y A/(x, y) R1 (y, x) R
(y, x) S (x, y) S 1

(b) (3)n es soluci

on de an + 3an1 = 0
Respuesta:
Verdadero
an = 3an1
Solucion :
an = (3)n a0

(c) El n
umero de subconjuntos de {, {1, }, {}} es 6
Respuesta:
Falso
#{, {1, }, {}} =3
#P =23 = 8 6= 6

2.
2.1.

Tarde
Tema 3

1. Resolver, justificando, cada una de las siguientes cuestiones:

(a) Simplificar [(p q) (q p) (p p)] p (q p)
Respuesta:
[(p q) (q p) p] p
[(p q) (q p) p] p
[(p (q q) p) p] p
[(p (q q) p) p] p
V
Soluci
on en WolframAlphaTM .

(b) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: El n
umero x no
es m
ultiplo de 2. Si un n
umero es par, entonces es divisible por 2. Si un n
umero
es divisible por 2, entonces es m
ultiplo de 2. Por lo tanto el n
umero x no es
par.
Respuesta:
p
qr
rp
p
Una de las premisas es exactamente la generico Razonamiento V
alido
Soluci
on en WolframAlphaTM .

(c) En el conjunto de los n

umeros enteros, Z, dar el valor de verdad de: y[x : (x.y = 1)];
y[x : (x.y = x)]
Respuesta:
y[x : (x.y = 1)]
Falso, si existiese y/3.y = 1, y 6 Z
y[x : (x.y = x)]
Verdadero, y = 1

2. (a) Sea A = {1, 2, 3, 4, 5} en AxA se define (x; y)R(z; t) x + t = y + z. Probar que es de

equivalencia, dar las clases y el conjunto cociente
Respuesta:
Reflexiva:
(x; y)R(x; y) x + y = x + y X
Simetrica:
(x; y)R(z; t)
x+t=y+z
z+y =t+x
(z; t)R(x; y) X
Transitiva:
(x; y)R(z; t) (z; t)R(a; b)
x+t=y+zz+b=t+a
t=z+ba
x + (z + b a) = y + z
x+b=y+a
(x; y)R(a; b) X
Clase generica :
Cl((x; y)) = (a; b) AxA; /x y = a b
Conjunto cociente :
AxA/R = {(1; k)}con k A

(b) Dar el diagrama de Hasse para la relacion S, definida en el conjunto A del tem anterior.
Se sabe que la matriz de adyacencia es M. tiene mnimo y/o maximo? Esta totalmente
ordenado?

1 0 1 1 1
0 1 1 1 1

0
0
1
1
1
M=

0 0 0 1 0
0 0 0 0 1
Respuesta:
4

5
3

No tiene mi mnimo ni m
aximo. No esta totalmente ordenado.

3. Justificar cada afirmac

on al resolver cada una de las siguientes cuestiones
(a) Sin hacer la opercaci
on, calcular el resto en la division de 20357 por 17
Respuesta:
20357 (1)57
1
16

(b) Resolver la ecuaci

on 45x = 105 en Z48 . Si tiene solucion, darla.
Respuesta:
m.c.d(48, 45) = 3 105|3 Tiene 3 soluciones
45 13 105(48)
45 29 105(48)
45 45 105(48)

(c) Probar a 0(n) n|a

Respuesta:
a 0(n) a 0 = n.k; k Z
n|a 0
n|a X

4. Justificar al resolver. Dada la siguiente relacion de recurencia, an = 4an1 3an2 . Se pide

hallar la soluci
on general y la solucion particular para a1 = 2; a2 = 1. Probar que la sucesi
on
hallada es la correcta usando induccion matematica.
Respuesta:

Soluci
on general :
0 = x2 + 4x + 3
x1 = 3 ; x2 = 1
an = k1 (3)n + k2 (1)n
Soluci
on particular :
a1 = 2 = k1 (3) + k2 (1)
a2 = 1 = k1 (3)2 + k2 (1)2
7
1
k1 = ; k2 =
2
2
Soluci
on :
1
7
an = (3)n (1)n
2
2
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (3)3 (1)3 = 10 = 4 (1) 3 2 X
2
2
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (3)h1 (1)h1
2
2
1
7
h
ah = (3) (1)h
2
2
Tesis Inductiva :
ah+1 = 4ah 3ah1
1
7
1
7
= 4[ (3)h (1)h ] 3[ (3)h1 (1)h1 ]
2
2
2
2
1
7
1
7
h
h
h1
= 4 (3) + 4 (1) 3 (3)
+ 3 (1)h1
2
2
2
2
(3) (4) 12 (3)h
7
=
+ 4 (1)h (1) (1)+
3
2
1
h1
(3) (3) 2 (3)
7
+
+ 3 (1)h1 (1) (1)
3
2
1
1
4 30
5h+1
5 30
5h+1
11
7
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
4 1
7
1 1
7
=
(3)h+1 4 (1)h+1 +
(3)h+1 + 3 (1)h+1
3 2
2
3 2
2
1
7
ah+1 = (3)h+1 (1)h+1 X
2
2
Soluci
on en WolframAlphaTM .

5. Dar el valor de verdad de las siguientes proposiciones (usar un contraejemplo o probar)

(a) La relaci
on vaca es antisimetrica, simetrica y transitiva.
Respuesta:
Verdadero
En ninguna de las tres propiedades se cumple el antecedente.

(b) El conjunto de partes de {} tiene 2 elementos.

Respuesta:
Verdadero
#{} = 1
P({}) = 2#{} = 2
P({}) = {, {}}

(c) Hay clases de equivalencia que son vacas

Respuesta:
Falso. Toda clase de equivalencia es reflexiva.
x; xRx

2.2.

Tema 4

1. Resolver, justificando, cada una de las siguientes cuestiones:

(a) Simplificar [(q p) (q p) (p p)] p (q p)
Respuesta:
[(q p) (q p) V] p (q p)
[(p (q q)] p
[(p V] p
p p
V
Soluci
on en WolframAlphaTM .

(b) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: El n
umero x no
es m
ultiplo de 2. Si un n
umero no es divisible por 2, entonces no es par. Si
un n
umero no es m
ultiplo de 2 entonces no es par. Por lo tanto el n
umero x no
es par.
Respuesta:
p(1)
qr
p r(2)
r
Para que el v(p r) = V, sabiendo que v(p) = V (por 1), el v(r) = V Razonamiento
V
alido
Soluci
on en WolframAlphaTM .

(c) En el conjunto de los n

umeros enteros, Z, dar el valor de verdad de: y[x : (x + y = 1)];
y[x : (x + y = x)]
Respuesta:
y[x : (x + y = 1)]
Falso, si existiese y/3 + y = 1, y = 3. Pero este y tiene que cumplir para todos los x :
4 + (3) 6= 1
y[x : (x + y = x)]
Verdadero, y = 0

2. (a) Sea A = {2, 4, 6, 8, 10} en AxA se define (x; y)R(z; t) x + t = y + z. Probar que es
de equivalencia, dar las clases y el conjunto cociente
Respuesta:
Reflexiva:
(x; y)R(x; y) x + y = x + y X
Simetrica:
(x; y)R(z; t)
x+t=y+z
z+y =t+x
(z; t)R(x; y) X
Transitiva:
(x; y)R(z; t) (z; t)R(a; b)
x+t=y+zz+b=t+a
t=z+ba
x + (z + b a) = y + z
x+b=y+a
(x; y)R(a; b) X
Clase generica :
Cl((x; y)) = (a; b) AxA; /x y = a b
Conjunto cociente :
AxA/R = {(2; k), (k; 2)}con k A

(b) Dar el diagrama de Hasse para la relacion S, definida en el conjunto A del tem anterior.
Se sabe que la matriz de adyacencia es M. tiene mnimo y/o maximo?. esta totalmente
ordenado?

1 0 1 1 1
0 1 1 1 1

0
0
1
1
1
M=

0 0 0 1 0
0 0 0 0 1
Respuesta:
8

10
6

No tiene mi mnimo ni m
aximo. No esta totalmente ordenado.

3. Justificar cada afirmac

on al resolver cada una de las siguientes cuestiones
(a) Sin hacer la opercaci
on, calcular el resto en la division de 20363 por 17
Respuesta:
20363 (1)63
1
16

(b) Resolver la ecuaci

on 54x = 150 en Z48 . Si tiene solucion, darla.
Respuesta:
m.c.d(48, 54) = 6 150|6 Tiene 6 soluciones
54 1 150(48)
54 9 150(48)
54 17 150(48)
54 25 150(48)
54 33 150(48)
54 41 150(48)

(c) Probar a 0(n) n|a

Respuesta:
a 0(n) a 0 = n.k; k Z
n|a 0
n|a X

4. Justificar al resolver. Dada la siguiente relacion de recurencia, an = 4an1 3an2 . Se pide

hallar la soluci
on general y la solucion particular para a1 = 2; a2 = 1. Probar que la sucesi
on
hallada es la correcta usando induccion matematica.
Respuesta:

Soluci
on general :
0 = x2 + 4x + 3
x1 = 3 ; x2 = 1
an = k1 (3)n + k2 (1)n
Soluci
on particular :
a1 = 2 = k1 (3) + k2 (1)
a2 = 1 = k1 (3)2 + k2 (1)2
7
1
k1 = ; k2 =
2
2
Soluci
on :
1
7
an = (3)n (1)n
2
2
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (3)3 (1)3 = 10 = 4 (1) 3 2 X
2
2
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (3)h1 (1)h1
2
2
1
7
h
ah = (3) (1)h
2
2
Tesis Inductiva :
ah+1 = 4ah 3ah1
1
7
1
7
= 4[ (3)h (1)h ] 3[ (3)h1 (1)h1 ]
2
2
2
2
1
7
1
7
h
h
h1
= 4 (3) + 4 (1) 3 (3)
+ 3 (1)h1
2
2
2
2
(3) (4) 12 (3)h
7
=
+ 4 (1)h (1) (1)+
3
2
1
h1
(3) (3) 2 (3)
7
+
+ 3 (1)h1 (1) (1)
3
2
1
1
4 30
5h+1
5 30
5h+1
11
7
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
4 1
7
1 1
7
=
(3)h+1 4 (1)h+1 +
(3)h+1 + 3 (1)h+1
3 2
2
3 2
2
1
7
ah+1 = (3)h+1 (1)h+1 X
2
2
Soluci
on en WolframAlphaTM .

5. Dar el valor de verdad de las siguientes proposiciones (usar un contraejemplo o probar)

(a) La relaci
on vaca es antisimetrica, simetrica y transitiva.
Respuesta:
Verdadero
En ninguna de las tres propiedades se cumple el antecedente.

(b) El conjunto de partes de {} tiene 3 elementos.

Respuesta:
Falso
#{} = 1
P({}) = 2#{} = 2
P({}) = {, {}}

(c) Hay clases de equivalencia que siendo distintas tiene elementos en com
un
Respuesta:
Falso
Supongo Cl(a) = X; Cl(b) = Y ; Comparten el elemento t, pero X 6= Y
t inX t Y
aRt bRt aRt tRb
aRb.
Si a se relaci
ona con b a X a Y . Como tome un a generico, se cumple para todos
X = Y . Absurdo.